---
title: "Epistemic Equilibrium Logic"
authors:
  - "Luis Fariñas del Cerro"
  - "Andreas Herzig"
  - "Ezgi Iraz Su"
doi: ""
url: "https://ijcai.org/proceedings/2015/419"
pdf: "https://ijcai.org/proceedings/2015/0419.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "2964-2969"
track: "Special Track on Knowledge Representation and Reasoning"
keywords:
---

# Epistemic Equilibrium Logic

Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 2964-2969.

## 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.