Epistemic Equilibrium Logic (IJCAI 2015) - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Epistemic Equilibrium Logic (IJCAI 2015)

(1, 2) , (1, 2) , (1, 3)


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. For both definitions we characterise strong equivalence by means of logical equivalence in epistemic here-and-there logic.
Fichier principal
Vignette du fichier
farinasdelcerro_15402.pdf (211.35 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01334713 , version 1 (21-06-2016)


  • HAL Id : hal-01334713 , version 1
  • OATAO : 15402


Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. Epistemic Equilibrium Logic (IJCAI 2015). 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970. ⟨hal-01334713⟩
255 View
60 Download


Gmail Facebook Twitter LinkedIn More