Communication Dans Un Congrès Année : 2016

Temporal Here and There

Résumé

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.

Fichier principal
Vignette du fichier
balbiani_19195.pdf (346.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01646060 , version 1 (23-11-2017)

Licence

Identifiants

Citer

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⟩
393 Consultations
347 Téléchargements

Altmetric

Partager

  • More