Balbiani, Philippe
and Diéguez, Martin
Temporal Here and There.
(2016)
In: 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), 9 November 2016 - 11 November 2016 (Larnaca, Cyprus).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 354kB |
Official URL: https://doi.org/10.1007/978-3-319-48758-8_6
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Thanks to Springer editor. This papers appears in Volume 10021 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-48757-1 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-48758-8_6 |
| HAL Id: | hal-01646060 |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
| Laboratory name: | |
| Funders: | ANR-11-LABX-0040-CIMI |
| Statistics: | download |
| Deposited By: | IRIT IRIT |
| Deposited On: | 17 Nov 2017 15:31 |
Repository Staff Only: item control page
