The modal logic of equilibrium models
Fariñas del Cerro, Luis and Herzig, Andreas
Abstract:
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.
corrected version
Related papers:
Bibtex-entry:
@InProceedings{FarinasHerzig-Frocos11,
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 = {https://www.irit.fr/~Andreas.Herzig/P/Frocos11.html},
keywords = {modal logic, logic of here-and-there, equilibrium logic, answer-set programming}
}
https://www.irit.fr/~Andreas.Herzig