Title: Exploring Logical Dynamics (Studies in Logic, Language, and Information)
Publisher: Center for the Study of Language and Inf
Publication Date: 1996
Language: English
ISBN 10: 1575860597
ISBN 13: 9781575860596
Binding: Hardcover
Condition: good

About this title

Synopsis

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.

About the Author

Johan van Benthem is the University Professor of logic, emeritus at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Jin Yuelin Chaired Professor of Logic at Tsinghua University Beijing.

"About this title" may belong to another edition of this title.

Store Description

Welcome to the Solr Books & Books4Cause AbeBooks page! We are a social venture dedicated to supporting social causes, education, and community through a business model. Books4Cause doesn?t raise funds or rely on government grants. All of our funding comes from selling a portion of used books donated to us. Our main goal is to recirculate books back into the hands of people who will read and treasure them. We support both local and global initiatives. Through partnering with the African Library Project, we have built over 120 libraries in nursery schools, elementary schools, high schools, and universities across 18 countries in Africa. Our pop-up free library program in Chicago distributes free books in under-served neighborhoods throughout the city, giving necessary resources to children, adults, and families who otherwise may not have been able to access them. For more information on what we do, or how you can help, go to books4cause.com

Visit Seller's Storefront

Seller's business information

Solr Books
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a
book that you've ordered, please use the Ask bookseller a question link to contact
us and we'll respond within 2 business days.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.