Annotated Temporal Logics Delta*tau

Authors:
Jair Minoro Abe;Seiki Akama
Affiliations:
-;-
Venue:
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Year:
2000

Citing 4
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Many-Valued and Annotated Modal Logics

ISMVL '98 Proceedings of the The 28th International Symposium on Multiple-Valued Logic
Synthesis of communicating processes from temporal logic specifications

Synthesis of communicating processes from temporal logic specifications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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