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


New from Oxford University Press!

ad

Holy Sh*t: A Brief History of Swearing

By Melissa Mohr

Holy Sh*t: A Brief History of Swearing "contains original research into the history of swearing, and is scrupulous in analyzing the claims of other scholars."


New from Cambridge University Press!

ad

A New Manual of French Composition

By R. L. Graeme Ritchie

A New Manual of French Composition "provides a guide to French composition aimed at university students and the higher classes in schools. "


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