Bibtex de la publication

@InProceedings{ Ba2016.24,
author = {Balbiani, Philippe and Dieguez, Martin},
title = "{Temporal Here and There (regular paper)}",
booktitle = "{European Conference on Logics in Artificial Intelligence (JELIA), Larnaca (Cyprus), 09/11/2016-11/11/2016}",
year = {2016},
publisher = {Springer},
address = {http://www.springerlink.com},
pages = {81--96},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/19195/},
keywords = {Linear temporal logic, Here and There logic, Axiomatization.},
abstract = {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.}
}