Skip to main content
Springer Nature Link
Log in

Temporal Here and There

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10021))

Included in the following conference series:

  • 715 Accesses

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.

Special acknowledgement is heartly granted to Pedro Cabalar and Luis Fariñas del Cerro for their feedback on a preliminary version of our paper. Martín Diéguez was supported by the Centre international de mathématiques et d’informatique (contract ANR-11-LABX-0040-CIMI).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Aguado, F., Cabalar, P., Pearce, D., Pérez, G., Vidal, C.: A denotational semantics for equilibrium logic. TPLP 15(4–5), 620–634 (2015)

    MathSciNet  Google Scholar 

  2. Cabalar, P., Diéguez, M.: Strong equivalence of non-monotonic temporal theories. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna (2014)

    Google Scholar 

  3. Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory Pract. Log. Program. 7(6), 745–759 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cabalar, P., Pérez Vega, G.: Temporal equilibrium logic: a first approach. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 241–248. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75867-9_31

    Chapter  Google Scholar 

  5. Cabalar, P., Diéguez, M., Vidal, C.: An infinitary encoding of temporal equilibrium logic. TPLP 15(4–5), 666–680 (2015)

    MathSciNet  Google Scholar 

  6. Dalen, D.V.: Intuitionistic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 166, pp. 225–339. Springer, Netherlands (1986)

    Chapter  Google Scholar 

  7. van Dalen, D.: Logic and Structure. Universitext. Springer, Heidelberg (1989)

    MATH  Google Scholar 

  8. Fariñas del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, 25–31 July 2015, pp. 2964–2970 (2015)

    Google Scholar 

  9. Servi, G.F.: Axiomatisations for some intuitionistic modal logics. Rend. Sem. Mat. Univers. Polit. Torino. 42, 179–194 (1984). Torino, Italy

    MATH  Google Scholar 

  10. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP 1988), Seattle, pp. 1070–1080 (1988)

    Google Scholar 

  11. Goldblatt, R.: Logics of time and computation. No. 7 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, 2 edn. (1992)

    Google Scholar 

  12. Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse, Deütsche Akademie der Wissenschaften zu Berlin, Mathematisch-Naturwissenschaftliche Klasse (1930)

    Google Scholar 

  13. Kamp, H.: Tense logic and the theory of linear order. Ph.D. thesis, University of California, Los Angeles (1968)

    Google Scholar 

  14. Kurtonina, N., de Rijke, M.: Bisimulations for temporal logic. J. Log. Lang. Inf. 6(4), 403–425 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  15. Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 188–200. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72200-7_17

    Chapter  Google Scholar 

  16. Lukasiewicz, J.: Die logik und das grundlagenproblem. Les Entreties de Zürich sur les Fondaments et la Méthode des Sciences Mathématiques 12(6–9), 82–100 (1938)

    MATH  Google Scholar 

  17. Marek, V., Truszczyński, M.: Stable Models and an Alternative Logic Programming Paradigm, pp. 169–181. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  18. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3–4), 241–273 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  19. Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1–2), 3–41 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  20. Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 546–560. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89982-2_46

    Chapter  Google Scholar 

  21. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, pp. 46–57 (1977)

    Google Scholar 

  22. Simpson, A.K.: The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis, University of Edinburgh (1994). http://homepages.inf.ed.ac.uk/als/Research/thesis.ps.gz

Download references

Author information

Authors and Affiliations

  1. Institut de recherche en informatique de Toulouse, Toulouse University, 118 route de Narbonne, 31062, Toulouse Cedex 9, France

    Philippe Balbiani

  2. Centre International de Mathématiques et d’Informatique, IRIT, Toulouse University, 118 route de Narbonne, 31062, Toulouse Cedex 9, France

    Martín Diéguez

Authors
  1. Philippe Balbiani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martín Diéguez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Philippe Balbiani or Martín Diéguez .

Editor information

Editors and Affiliations

  1. Open University of Cyprus, Nicosia, Cyprus

    Loizos Michael

  2. University of Cyprus, Nicosia, Cyprus

    Antonis Kakas

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Balbiani, P., Diéguez, M. (2016). Temporal Here and There. In: Michael, L., Kakas, A. (eds) Logics in Artificial Intelligence. JELIA 2016. Lecture Notes in Computer Science(), vol 10021. Springer, Cham. https://doi.org/10.1007/978-3-319-48758-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48758-8_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-48757-1

  • Online ISBN: 978-3-319-48758-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics