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 590kB |
Official URL: http://dx.doi.org/10.1016/j.jal.2013.12.003
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.
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: | |
Statistics: | download |
Deposited On: | 09 Mar 2015 07:43 |
Repository Staff Only: item control page