Conditionals and Modularity in General Logics

By Dov M. Gabbay , Karl Schlechta

Conditionals and Modularity in General Logics Cover Image

This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.

Full Description

  • ISBN13: 978-3-6421-9067-4
  • 242 Pages
  • User Level: Science
  • Publication Date: August 19, 2011
  • Available eBook Formats: PDF
  • eBook Price: $99.00
Buy eBook Buy Print Book Add to Wishlist
Full Description
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.
Table of Contents

Table of Contents

  1. Introduction; Basic Definitions; Towards a Uniform Picture of Conditionals; Monotone and Antitone Semantic and Syntactic Interpolation; Laws About Size and Interpolation in Nonmonotonic Logics; Neighbourhood Semantics; Conclusion and Outlook; References; Index 
Errata

Please Login to submit errata.

No errata are currently published