Skip to Main content Skip to Navigation
Journal articles

Capturing equilibrium models in modal logic

Abstract : Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of satisfiability is defined in terms of satisfiability in propositional logic and in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language embedding the language of equilibrium logic.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, March 9, 2015 - 8:13:37 AM
Last modification on : Monday, July 4, 2022 - 10:23:31 AM
Long-term archiving on: : Wednesday, June 10, 2015 - 12:05:45 PM


Files produced by the author(s)



Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. Capturing equilibrium models in modal logic. Journal of Applied Logic, Elsevier, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩. ⟨hal-01127960⟩



Record views


Files downloads