SCAN and systems of conditional logic

The SCAN algorithm has been proposed for second order quanti er elimination. In particular it can be applied to nd correspondence axioms for systems of modal logic. Up to now, what has been studied are systems with unary modal operators. In this paper we study how SCAN can be applied to various systems of conditional logic, which are logical systems with binary modal operators.

[1]  John Bell.  The Logic of Nonmonotonicity , 1990, Artif. Intell..

[2]  James P. Delgrande,et al.  A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..

[3]  Hans Jürgen Ohlbach,et al.  Computer Support for the Development and Investigation of Logics , 1996, Log. J. IGPL.

[4]  Philippe Lamarre,et al.  S4 as the Conditional Logic of Nonmonotonicity , 1991, KR.

[5]  Brian F. Chellas.  Basic conditional logic , 1975, J. Philos. Log..

[6]  Horacio L. Arló-Costa,et al.  Maps Between Nonmonotonic and Conditional Logic , 1992, KR.

[7]  Hirofumi Katsuno,et al.  A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.

[8]  Craig Boutilier.  Conditional Logics of Normality as Modal Systems , 1990, AAAI.

[9]  Wolfgang Nejdl,et al.  The P-Systems: A Systematic Classification of Logics of Nonmonotonicity , 1991, AAAI.

[10]  John Bell,et al.  Pragmatic Logics , 1991, KR.

[11]  John C. Bigelow,et al.  Subjunctive Reasoning , 1980 .

[12]  李幼升,et al.  Ph , 1989 .

[13]  Dov M. Gabbay,et al.  Quantifier Elimination in Second-Order Predicate Logic , 1992, KR.

[14]  Predi ate Logi Dov GabbayImperial.  Quanti er Elimination in Se ond { Order Predi ate Logi , 1992 .

[15]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[16]  Philippe Lamarre,et al.  On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.

[17]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..