Annotated Temporal Logics Δ*τ

* Final gross prices may vary according to local VAT.

Get Access

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.