Temporal Here and There

Philippe Balbiani (1, 2) , Martin Dieguez (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

Temporal Here and There (THT) constitutes the logical foundations of Temporal Equilibrium Logic. Nevertheless, it has never been studied in detail since results about axiomatisation and interdefinability of modal operators remained unknown. In this paper we provide a sound and complete axiomatic system for THT together with several results on interdefinability of modal operators.

Mots clés: Axiomatization; Here and There logic; Linear temporal logic

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]; Logique [math.LO]

Philippe Balbiani, Martin Dieguez. Temporal Here and There. 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.81-96, ⟨10.1007/978-3-319-48758-8_6⟩. ⟨hal-01646060⟩