Publicação: Annotated temporal logics Delta*tau
Carregando...
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Springer
Tipo
Artigo
Direito de acesso
Resumo
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.
Descrição
Palavras-chave
Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
Idioma
Inglês
Como citar
Advances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.