The Modal Logic of Equilibrium Models

Here-and-there models and equilibrium models were investigated as a semantical framework for answer set programming by Pearce, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is indirect in that the notion of satisfiability is defined in terms of satisfiability in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language into which the language of equilibrium logic can be embedded.

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

[2]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[3]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

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

[5]  Claudio Pizzi,et al.  Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler , 2008, Logic, Epistemology, and the Unity of Science.

[6]  Luis Fariñas del Cerro,et al.  Contingency-Based Equilibrium Logic , 2011, LPNMR.

[7]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[8]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[9]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

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

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

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

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

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

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

[17]  Bernd Finkbeiner,et al.  Fields of Logic and Computation , 2011 .