by Johan van Benthem
CSLI, 1996
eISBN: 978-1-57586-831-8 | Paper: 978-1-57586-058-9 | Cloth: 978-1-57586-059-6
Library of Congress Classification BC71.B376 1996
Dewey Decimal Classification 160

ABOUT THIS BOOK | TOC
ABOUT 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 logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

See other books on: Computers | Logic | Mathematics | van Benthem, Johan
See other titles from CSLI