Conditionals and Modularity in General Logics

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.

[1]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[2]  Joseph Y. Halpern,et al.  Plausibility measures and default reasoning , 1996, JACM.

[3]  R. Parikh.  Beliefs, belief revision, and splitting languages , 1999 .

[4]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[5]  James Hawthorne,et al.  The Quantitative/Qualitative Watershed for Rules of Uncertain Inference , 2007, Stud Logica.

[6]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[8]  Dov M. Gabbay,et al.  A Theory of Hierarchical Consequence and Conditionals , 2010, J. Log. Lang. Inf..

[9]  Rachel Ben-Eliyahu-Zohary,et al.  A modal logic for subjective default reasoning , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[10]  Karl Schlechta.  Logic, topology, and integration , 2004, Journal of Automated Reasoning.

[11]  Karl Schlechta,et al.  Defaults as Generalized Quantifiers , 1995, J. Log. Comput..

[12]  Dov M. Gabbay,et al.  Reactive Preferencial Structures and Nonmonotonic consequence , 2009 .

[13]  Dov M. Gabbay,et al.  Roadmap for preferential logics , 2009, J. Appl. Non Class. Logics.

[14]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[15]  Karl Schlechta.  Semantics for Defeasible Inheritance , 1990, ECAI.

[16]  Karl Schlechta.  Some results on theory revision , 1989, The Logic of Theory Change.

[17]  Pierre Siegel,et al.  Saturation, Nonmonotonic Reasoning and the Closed-World Assumption , 1985, Artif. Intell..

[18]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[19]  Karl Schlechta,et al.  Filters and Partial Orders , 1997, Log. J. IGPL.

[20]  B. Hansson.  An analysis of some deontic logics , 1969 .

[21]  Richmond H. Thomason,et al.  Logics for Inheritance Theory , 1988, NMR.

[22]  KARL SCHLECHTA.  Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions , 1993, J. Log. Comput..

[23]  K. Schlechta.  Nonmonotonic Logics: Basic Concepts, Results, and Techniques , 1997 .

[24]  David Makinson,et al.  Parallel interpolation, splitting, and relevance in belief change , 2007, Journal of Symbolic Logic.

[25]  Maarten Marx,et al.  Repairing the interpolation theorem in quantified modal logic , 2003, Ann. Pure Appl. Log..

[26]  Karl Schlechta,et al.  Some Results on Classical Preferential Models , 1992, J. Log. Comput..

[27]  Dov M. Gabbay,et al.  Reactive Kripke Models and Contrary to Duty Obligations , 2008, DEON.

[28]  Karl Schlechta,et al.  Distance semantics for belief revision , 1996, Journal of Symbolic Logic.

[29]  Dov M. Gabbay,et al.  Cumulativity without Closure of the Domain under Finite Unions , 2008, Rev. Symb. Log..

[30]  Dov M. Gabbay,et al.  Interpolation and definability , 2005 .

[31]  Dov M. Gabbay,et al.  Resource-origins of Nonmonotonicity , 2008, Stud Logica.

[32]  Dov M. Gabbay,et al.  Reactive Kripke Semantics and Arc Accessibility , 2007 .

[33]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[34]  David S. Touretzky,et al.  A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance , 1991, IJCAI.

[35]  Karl Schlechta,et al.  Theory Revision and Probability , 1991, Notre Dame J. Formal Log..

[36]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[37]  Karl Schlechta,et al.  Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets , 1991, Artif. Intell..

[38]  Shai Berger,et al.  Preferred History Semantics for Iterated Updates , 1999, J. Log. Comput..

[39]  William Craig,et al.  Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.

[40]  Karl Schlechta,et al.  Some Completeness Results for Stoppered and Ranked Classical Preferential Models , 1996, J. Log. Comput..

[41]  David S. Touretzky,et al.  A Calculus for Inheritance in Monotonic Semantic Nets , 1987, ISMIS.

[42]  L O ] 9 M ar 2 00 9 A semantics for obligations-Local and global properties of obligations ∗ , 2009 .

[43]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[44]  Dov M. Gabbay,et al.  Logical Tools for Handling Change in Agent-Based Systems , 2008, Cognitive Technologies.

[45]  Dov M. Gabbay,et al.  Size and Logic , 2009, Rev. Symb. Log..