Annotated Temporal Logics Δ*τ

  • Jair Minoro Abe
  • Seiki Akama
Conference paper

DOI: 10.1007/3-540-44399-1_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1952)
Cite this paper as:
Minoro Abe J., Akama S. (2000) Annotated Temporal Logics Δ*τ. In: Monard M.C., Sichman J.S. (eds) Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 1952. Springer, Berlin, Heidelberg

Abstract

In this paper we present a class of paraconsistent temporal system Δ*τ which may constitute, for instance, a framework for paracon- sistent temporal reasoning. We establish the completeness of Δ*τ using the Kripke semantics. The proposed temporal logic subsumes the classi- cal one with the advantage of handling inconsistency.

Keywords

Time in Paraconsistent logics paraconsistent temporal logic, time and paraconsistency. 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Jair Minoro Abe
    • 1
    • 1
  • Seiki Akama
    • 2
  1. 1.Department of InformaticsICET, Paulista UniversitySao PauloBRAZIL
  2. 2.Institute foror Advanced StudiesUniversity of Sao PauloSao PauloBRAZIL
  3. 3.Computational Logic Laboratory Department of Information SystemsTeikyo Heisei UniversityIchihara-shiJAPAN

Personalised recommendations