Epistemic Equilibrium Logic
Abstract
We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models. We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for Gelfond’s epistemic specifications.
Cite
Text
del Cerro et al. "Epistemic Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2015.Markdown
[del Cerro et al. "Epistemic Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/delcerro2015ijcai-epistemic/)BibTeX
@inproceedings{delcerro2015ijcai-epistemic,
title = {{Epistemic Equilibrium Logic}},
author = {del Cerro, Luis Fariñas and Herzig, Andreas and Su, Ezgi Iraz},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {2964-2970},
url = {https://mlanthology.org/ijcai/2015/delcerro2015ijcai-epistemic/}
}