论文信息 - Logics of Contingency

Logics of Contingency

We introduce the logic of positive and negative contingency. Together with modal operators of necessity and impossibility they allow to dispense of negation. We study classes of Kripke models where the number of points is restricted, and show that the modalities reduce in the corresponding logics.

Luis Fariñas del Cerro | Andreas Herzig

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

[2] David Pearce,et al. Minimal Logic Programs , 2007, ICLP.

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

[4] G. E. Hughes,et al. An introduction to modal logic, 2e éd., 1 vol , 1973 .

[5] David Pearce,et al. A Tableau Calculus for Equilibrium Entailment , 2000, TABLEAUX.

[6] Luis Fariñas del Cerro,et al. Un Principe de Résolution en Logique Modale , 1984, RAIRO Theor. Informatics Appl..

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

[8] Pedro Cabalar,et al. Propositional theories are strongly equivalent to logic programs , 2007, Theory Pract. Log. Program..

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

[10] Vladimir Lifschitz,et al. Thirteen Definitions of a Stable Model , 2010, Fields of Logic and Computation.

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

[12] Joohyung Lee,et al. A New Perspective on Stable Models , 2007, IJCAI.

[13] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

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