Call Boomerang Books 1300 36 33 32

Description - Exploring Logical Dynamics by Johan van Benthem

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 by Johan van Benthem from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9781575860589
ISBN-10: 1575860589
Format: Paperback
(228mm x 152mm x 21mm)
Pages: 341
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 1-Jun-1996
Country of Publication: United Kingdom

Other Editions - Exploring Logical Dynamics by Johan van Benthem

Book Reviews - Exploring Logical Dynamics by Johan van Benthem

» 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 Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Johan van Benthem

Logic in Games by Johan van Benthem
Hardback, January 2014
$98.10
Logical Dynamics of Information and Interaction by Johan van Benthem
Paperback, January 2014
$66.56
Handbook of Logic and Language, Second Edition by Johan van Benthem
Hardback, December 2010
$234.00
Words, Proofs and Diagrams by Johan van Benthem
Paperback, July 2002
$44.99