• Dov M. Gabbay
  • Karl Schlechta
Part of the Cognitive Technologies book series (COGTECH)


This text centers around the following main subjects: (1) The concept of modularity and independence in classical logic and non-monotonic and other non-classical 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.


Classical Logic Preferential Structure Propositional Variable Deontic Logic Theory Revision 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Department of Computer ScienceKing’s College LondonLondonUK
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat-GanIsrael
  3. 3.Computer Science and Communications Faculty of SciencesUniversity of LuxembourgLuxembourgGermany
  4. 4.CMIUniversité de ProvenceMarseille Cedex 13France

Personalised recommendations