Annotated temporal logics Delta*tau

Página do item simplificado
dc.contributor.authorAbe, J. M.
dc.contributor.authorAkama, S.
dc.contributor.authorMonard, M. C.
dc.contributor.authorSichman, J. S.
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.contributor.institutionUniversidade de São Paulo (USP)
dc.contributor.institutionTeikyo Heisei Univ
dc.date.accessioned2020-12-10T16:30:18Z
dc.date.available2020-12-10T16:30:18Z
dc.date.issued2000-01-01
dc.description.abstractIn 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.en
dc.description.affiliationUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, Brazil
dc.description.affiliationUniv Sao Paulo, Inst Adv Studies, BR-05508900 Sao Paulo, Brazil
dc.description.affiliationTeikyo Heisei Univ, Dept Informat Syst, Computat Log Lab, Ichihara, Chiba 29001, Japan
dc.description.affiliationUnespUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, Brazil
dc.format.extent217-226
dc.identifier.citationAdvances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11449/194568
dc.identifier.wosWOS:000174952800023
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofAdvances In Artificial Intelligence
dc.sourceWeb of Science
dc.subjectTime in Paraconsistent logics
dc.subjectparaconsistent temporal logic
dc.subjecttime and paraconsistency
dc.titleAnnotated temporal logics Delta*tauen
dc.typeArtigo
dcterms.licensehttp://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0
dcterms.rightsHolderSpringer

Arquivos

Coleções

Artigos