Skip to main content
SpringerLink
Log in

Annotated Temporal Logics Δ*τ

  • Conference paper
Advances in Artificial Intelligence (IBERAMIA 2000, SBIA 2000)

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

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abe, J.M., 1992, Fundamentos da logica anotada, (Foundations of annotated logics), in Portuguese, Ph.D. thesis, University of Sao Paulo, Sao Paulo.

    Google Scholar 

  2. Abe, J.M., 1993, On annotated model theory, Colecao Documentos, Serie Logica e Teoria da Ciencia, IEA-USP, 05.

    Google Scholar 

  3. Abe, J.M., 1994, On annotated modal logics, Mathematica Japonica, 40, No. 3, 553–560.

    Google Scholar 

  4. Akama, S. & J.M. Abe, 1998, Many-valued and annotated modal logics, Proc. of the IEEE 1998 International Symposium on Multiple-Valued Logic (ISMVL’98), 114–119, Fukuoka, Japan.

    Google Scholar 

  5. Abe, J.M. & S. Akama, 1998, Incorporating time in paraconsistent reasoning, to appear.

    Google Scholar 

  6. Banieqbal, B. & H. Barringer, 1986!CA study of an extended temporal language and a temporal fixed point calculus, Technical Report UMCS-86-10-2, Department of Computer Science, University of Manchester, 1986.

    Google Scholar 

  7. Da Costa, N.C.A., V.S. Subrahmanian, & C. Vago, 1991, The paraconsistent logics Pτ, Zeitschr. f. Math. Logik und Grundlagen d. Math., 37, 139–148.

    Google Scholar 

  8. Da Costa, N.C.A., J.M. Abe, & V.S. Subrahmanian, 1991, Remarks on annotated logic, Zeitschr. f. Math. Logik und Grundlagen d. Math., 37, 561–570.

    Google Scholar 

  9. Da Costa, N.C.A., 1996, Logiques Classiques et non Classiques, Masson.

    Google Scholar 

  10. Emerson, E. A., 1990, Temporal and modal logic, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, 995–1072, Elsevier, Amsterdam.

    Google Scholar 

  11. Gabbay, D., A. Pnuelli, S. Shelah, & J. Stavi, 1980, The temporal analysis of fairness, Proc. of the 7th ACM Symposium on Principles of Programming languages, 163–173, 1980.

    Google Scholar 

  12. Subrahmanian, V.S., 1987, On the semantics of quantitative logic programs, Proc. of the 4th IEEE Symposium on Logic Programming, 173–182.

    Google Scholar 

  13. Wolper, P., 1982, Synthesis of Communication Process from Temporal Logic, Ph.D. Thesis, Stanford University.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, ICET, Paulista University, Dr. Bacelar, 1212, 04026-002, Sao Paulo, SP, Brazil

    Jair Minoro Abe

  2. Institute foror Advanced Studies, University of Sao Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, terreo, Cidade Universitaria, 05508 - 900, Sao Paulo, SP, Brazil

    Jair Minoro Abe

  3. Computational Logic Laboratory Department of Information Systems, Teikyo Heisei University, 2289 Uruido, 290-01, Ichihara-shi, Chiba, Japan

    Seiki Akama

Authors
  1. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Statistics Computational Intelligence Laboratory, University of São Paulo, Avenida Trabalhador Sãocarlense 400, 13566-590, São Carlos, Brazil

    Maria Carolina Monard

  2. Computer Engineering Department Intelligent Techniques Laboratory, University of São Paulo, Av. Prof. Luciano Gualberto, 158, tv. 3, 05508-900, São Paulo, Brazil

    Jaime Simão Sichman

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Minoro Abe, J., Akama, S. (2000). Annotated Temporal Logics Δ*τ. In: Monard, M.C., Sichman, J.S. (eds) Advances in Artificial Intelligence. IBERAMIA SBIA 2000 2000. Lecture Notes in Computer Science(), vol 1952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44399-1_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-44399-1_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41276-2

  • Online ISBN: 978-3-540-44399-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation