论文信息 - Contingency-Based Equilibrium Logic

Contingency-Based Equilibrium Logic

We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equilibrium logic (that is based on conjunction and intuitionistic implication).

Luis Fariñas del Cerro | Andreas Herzig

[1] Dimiter Vakarelov,et al. Notes on N-lattices and constructive logic with strong negation , 1977 .

[2] Jürgen Dix,et al. Non-Monotonic Extensions of Logic Programming , 1996, Lecture Notes in Computer Science.

[3] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .

[4] David Pearce,et al. A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[5] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[6] Kosta Dosen,et al. Models for stronger normal intuitionistic modal logics , 1985, Stud Logica.

[7] B. Nebel. Introduction to Modal Logic Introduction , 2009 .

[8] A. Heyting. Die formalen Regeln der intuitionistischen Logik , 1930 .

[9] L. F. D. Cerro,et al. Combining Classical and Intuitionistic Logic , 1996 .