The modal logic of equilibrium models

Fariñas del Cerro, Luis and Herzig, Andreas


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.

proceedings version

corrected version

Related papers:


author =    {Fariñas del Cerro, Luis and Herzig, Andreas},
title =     {The modal logic of equilibrium models (regular paper)},
booktitle = {Frontiers of Combining Systems (FroCoS)},
year =      {2011},
to_appear = {to appear},
publisher = {Springer Verlag},
pages =     {},
URL =       {},
keywords =  {modal logic, logic of here-and-there, equilibrium logic, answer-set programming}