Exploring Logical Dynamics (Studies in Logic, Language and Information) - Softcover

Benthem, Johan Van

 
9781575860589: Exploring Logical Dynamics (Studies in Logic, Language and Information)
Softcover
ISBN 10: 1575860589 ISBN 13: 9781575860589
Verlag: CAMBRIDGE, 1996

Inhaltsangabe

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Johan van Benthem is University Professor of pure and applied logic at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Weilun Visiting Professor of Humanities at Tsinghua University in Beijing.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CAMBRIDGE
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
1575860589
ISBN 13 
9781575860589
Einband
Taschenbuch
Anzahl der Seiten
288
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781575860596: Exploring Logical Dynamics (Studies in Logic, Language and Information)

Vorgestellte Ausgabe

ISBN 10:  1575860597 ISBN 13:  9781575860596
Verlag: Center for the Study of Language..., 1996
Hardcover