OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Capturing equilibrium models in modal logic

Fariñas del Cerro, Luis and Herzig, Andreas and Su, Ezgi Iraz Capturing equilibrium models in modal logic. (2014) Journal of Applied Logic, 12 (2). 192-207. ISSN 1570-8683

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1016/j.jal.2013.12.003


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.

Item Type:Article
Additional Information:Thanks to Elsevier editor. The definitive version is available at http://www.sciencedirect.com The original PDF of the article can be found at Journal of Applied Logic website : http://www.sciencedirect.com/science/journal/15708683
HAL Id:hal-01127960
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:09 Mar 2015 07:43

Repository Staff Only: item control page