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.
"synopsis" may belong to another edition of this title.
This book is an exploration of current trends in logical theories of information flow across various fields. 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 detail.
'The book is beautifully written ... This is an important book, and one which is bound to raise interest around logical dynamics among people that had not been previously exposed to the specialised literature of the field. Like a true Seurat painting, the contours of the picture which van Benthem gives are still fuzzy, as in a hazy morning: the agenda of dynamicists is still rich with unsolved problems, and the rich notes at the end of each chapter are there to remind researchers about this.' Computer Journal
"About this title" may belong to another edition of this title.
Shipping:
US$ 3.75
Within U.S.A.
Seller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_358540357
Quantity: 1 available
Seller: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Paperback. Condition: Very Good. 74th ed. Very good paperback with very good text. Previous owner's inscription on front endpaper, otherwise text very good. Exterior has light shelfwear and bumping; otherwise very good. Ships from Dinkytown in Minneapolis, Minnesota. Seller Inventory # 277450
Quantity: 1 available
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Paperback. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Seller Inventory # M1575860589Z2
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 1549343
Quantity: 3 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 1549343-n
Quantity: 3 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9781575860589
Quantity: 3 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 288 pages. 9.25x6.25x1.00 inches. In Stock. Seller Inventory # __1575860589
Quantity: 2 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 505. Seller Inventory # B9781575860589
Quantity: 3 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9781575860589_new
Quantity: 3 available
Seller: Asano Bookshop, Nagoya, AICHI, Japan
Condition: Brand New. This book is an exploration of current trends in logical theories of information flow across various fields. Seller Inventory # b13580
Quantity: 1 available