Publishing Partner: Cambridge University Press CUP Extra Publisher Login
amazon logo
More Info


New from Oxford University Press!

ad

How Traditions Live and Die

By Olivier Morin

This book brings together cognitive science and quantitative cultural history to look into the causes of cultural survival.


New from Cambridge University Press!

ad

The Acquisition of Heritage Languages

By Silvina Montrul

"This work centres on the grammatical development of the heritage language and the language learning trajectory of heritage speakers, synthesizing recent experimental research."


Book Information

   

Title: Exploring Logical Dynamics
Written By: Johan van Benthem
Description:

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science and dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these fields. 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. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics.

Publication Year: 1997
Publisher: CSLI Publications
Review: Not available for review. If you would like to review a book on The LINGUIST List, please login to view the AFR list.
BibTex: View BibTex record
Linguistic Field(s): Computational Linguistics
Issue: All announcements sent out by The LINGUIST List are emailed to our subscribers and archived with the Library of Congress.
Click here to see the original emailed issue.

Versions:
Format: Hardback
ISBN: 1575860597
ISBN-13: N/A
Pages: 288

 
 
Format: Paperback
ISBN: 1575860589
ISBN-13: N/A