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...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2000 |
| País: | Brasil |
| Institución: | Universidade Estadual Paulista (UNESP) |
| Repositorio: | Repositório Institucional da UNESP |
| Idioma: | inglés |
| OAI Identifier: | oai:repositorio.unesp.br:11449/194568 |
| Acceso en línea: | http://hdl.handle.net/11449/194568 |
| Access Level: | acceso abierto |
| Palabra clave: | Time in Paraconsistent logics paraconsistent temporal logic time and paraconsistency |
| Sumario: | 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. |
|---|