Annotated temporal logics Delta*tau

Nenhuma Miniatura disponível

Data

2000-01-01

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

Idioma

Inglês

Como citar

Advances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.

Itens relacionados

Financiadores

Coleções