Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662969 | Journal of Applied Logic | 2014 | 16 Pages |
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 an equilibrium model is defined in terms of quantification over here-and-there models. We here give a direct semantics of equilibrium logic, stated for a modal language embedding the language of equilibrium logic.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su,