Exploring logical dynamics
by J. F. A. K. van Benthem
- 0 Ratings
- 1 Want to read
- 0 Currently reading
- 0 Have read
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 logic. This theory is also confronted with practice in computer science, linguistics and philosophy.
Check nearby libraries
Buy this book
Subjects
LogicShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Exploring logical dynamics
1996, CSLI Publications, FoLLI, European Association for Logic, Language, and Information
in English
1575860597 9781575860596
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 301-325) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| August 7, 2024 | Edited by MARC Bot | import existing book |
| February 7, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |