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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abe, J.M., 1992, Fundamentos da logica anotada, (Foundations of annotated logics), in Portuguese, Ph.D. thesis, University of Sao Paulo, Sao Paulo.
Abe, J.M., 1993, On annotated model theory, Colecao Documentos, Serie Logica e Teoria da Ciencia, IEA-USP, 05.
Abe, J.M., 1994, On annotated modal logics, Mathematica Japonica, 40, No. 3, 553–560.
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.
Abe, J.M. & S. Akama, 1998, Incorporating time in paraconsistent reasoning, to appear.
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.
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.
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.
Da Costa, N.C.A., 1996, Logiques Classiques et non Classiques, Masson.
Emerson, E. A., 1990, Temporal and modal logic, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, 995–1072, Elsevier, Amsterdam.
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.
Subrahmanian, V.S., 1987, On the semantics of quantitative logic programs, Proc. of the 4th IEEE Symposium on Logic Programming, 173–182.
Wolper, P., 1982, Synthesis of Communication Process from Temporal Logic, Ph.D. Thesis, Stanford University.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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