Conditionals and Modularity in General Logics

  • Dov M. Gabbay
  • Karl Schlechta

Part of the Cognitive Technologies book series (COGTECH)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Dov M. Gabbay, Karl Schlechta
    Pages 1-30
  3. Dov M. Gabbay, Karl Schlechta
    Pages 31-83
  4. Dov M. Gabbay, Karl Schlechta
    Pages 85-112
  5. Dov M. Gabbay, Karl Schlechta
    Pages 113-151
  6. Dov M. Gabbay, Karl Schlechta
    Pages 153-195
  7. Dov M. Gabbay, Karl Schlechta
    Pages 197-216
  8. Dov M. Gabbay, Karl Schlechta
    Pages 217-221
  9. Back Matter
    Pages 223-233

About this book

Introduction

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.

Keywords

Conditional Logics Interpolation Modal Logic Neighbourhood Semantics Nonmonotonic Logic Propositional Logic

Authors and affiliations

  • Dov M. Gabbay
    • 1
  • Karl Schlechta
    • 2
  1. 1., Department of Computer ScienceKing's College London, StrandLondonUnited Kingdom
  2. 2., CMIUniversité de ProvenceMarseille Cedex 13France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-19068-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19067-4
  • Online ISBN 978-3-642-19068-1
  • Series Print ISSN 1611-2482
  • About this book