Overview
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
Full Product Details
Author: Dov M. Gabbay ,
Karl Schlechta
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: 2011 ed.
Dimensions:
Width: 15.50cm
, Height: 1.40cm
, Length: 23.50cm
Weight: 0.535kg
ISBN: 9783642190674
ISBN 10: 3642190677
Pages: 233
Publication Date: 19 August 2011
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Hardback
Publisher's Status: Active
Availability: Manufactured on demand
We will order this item for you from a manufactured on demand supplier.
Reviews
This book is a tour de force achieved by perhaps the only people who could pull this off. It provides one fresh unified view of conditionals, non-monotonic reasoning, interpolation, and modularity of information, based on fine-grained neighbourhood models. The new ideas in this book will reverberate in the community for quite a while to come. Johan van Benthem (University of Amsterdam and Stanford University)
"""This book is a tour de force achieved by perhaps the only people who could pull this off. It provides one fresh unified view of conditionals, non-monotonic reasoning, interpolation, and modularity of information, based on fine-grained neighbourhood models. The new ideas in this book will reverberate in the community for quite a while to come."" Johan van Benthem (University of Amsterdam and Stanford University)"
From the reviews: The authors' work focuses mainly on propositional logic. It consists of seven chapters, where the first chapter is an introduction that presents a useful summary of the topics dealt with in the other chapters, and main results for each of the topics. ... this work is suitable for a research seminar in logic which would focus on some of those subjects or related topics. (Max A. Freund, Zentralblatt MATH, Vol. 1234, 2012)
Author Information
The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.
