1300 36 33 32

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.

Buy Exploring Logical Dynamics book by Johan van Benthem from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9781575860589
ISBN-10: 1575860589
Format: Paperback
(228mm x 152mm x 21mm)
Pages: 341
Imprint: Centre for the Study of Language & Information
Publisher: Centre for the Study of Language & Information
Publish Date: 1-Jun-1996
Country of Publication: United States

Other Editions

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Exploring Logical Dynamics book by Johan van Benthem and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write Review


Books By Author Johan van Benthem

Logic in Games by Johan van Benthem

Logic in Games

Hardback, March 2014
$98.10
Handbook of Logic and Language by Johan van Benthem

Handbook of Logic and Language

Hardback, December 2010
$234.00
Words, Proofs and Diagrams by Johan van Benthem

Words, Proofs and Diagrams

Paperback, October 2002
$44.99