AAAI Publications, Twenty-Fourth International Joint Conference on Artificial Intelligence

Font Size: 
Epistemic Equilibrium Logic
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su

Last modified: 2015-06-26


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.

Full Text: PDF