Annotated temporal logics Delta*tau
In this paper we present a class of paraconsistent temporal system Delta*tau which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of Delta*tau using the Kripke semantics. The proposed temporal logic subsumes the classical one with the a...
| Authors: | , , , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2000 |
| Country: | Brasil |
| Institution: | Universidade Estadual Paulista (UNESP) |
| Repository: | Repositório Institucional da UNESP |
| Language: | English |
| OAI Identifier: | oai:repositorio.unesp.br:11449/194568 |
| Online Access: | http://hdl.handle.net/11449/194568 |
| Access Level: | Open access |
| Keyword: | Time in Paraconsistent logics paraconsistent temporal logic time and paraconsistency |
| Summary: | In this paper we present a class of paraconsistent temporal system Delta*tau which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of Delta*tau using the Kripke semantics. The proposed temporal logic subsumes the classical one with the advantage of handling inconsistency. |
|---|