Check nearby libraries
Buy this book
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
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 13 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
August 7, 2024 | Edited by MARC Bot | import existing book |
November 23, 2020 | Edited by MARC Bot | import existing book |
October 10, 2020 | Edited by ImportBot | import existing book |
August 27, 2020 | Edited by ImportBot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |