Annotated temporal logics Delta*tau

Detalhes bibliográficos
Autor(a) principal: Abe, J. M.
Data de Publicação: 2000
Outros Autores: Akama, S., Monard, M. C., Sichman, J. S.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/194568
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.
id UNSP_bdc79aee1fda38a10b313226b4e986d2
oai_identifier_str oai:repositorio.unesp.br:11449/194568
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Annotated temporal logics Delta*tauTime in Paraconsistent logicsparaconsistent temporal logictime and paraconsistencyIn 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.Univ Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, BrazilUniv Sao Paulo, Inst Adv Studies, BR-05508900 Sao Paulo, BrazilTeikyo Heisei Univ, Dept Informat Syst, Computat Log Lab, Ichihara, Chiba 29001, JapanUniv Estadual Paulista, ICET, Dept Informat, BR-04026002 Sao Paulo, BrazilSpringerUniversidade Estadual Paulista (Unesp)Universidade de São Paulo (USP)Teikyo Heisei UnivAbe, J. M.Akama, S.Monard, M. C.Sichman, J. S.2020-12-10T16:30:18Z2020-12-10T16:30:18Z2000-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article217-226Advances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.0302-9743http://hdl.handle.net/11449/194568WOS:000174952800023Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengAdvances In Artificial Intelligenceinfo:eu-repo/semantics/openAccess2021-10-22T17:36:05Zoai:repositorio.unesp.br:11449/194568Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462021-10-22T17:36:05Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Annotated temporal logics Delta*tau
title Annotated temporal logics Delta*tau
spellingShingle Annotated temporal logics Delta*tau
Abe, J. M.
Time in Paraconsistent logics
paraconsistent temporal logic
time and paraconsistency
title_short Annotated temporal logics Delta*tau
title_full Annotated temporal logics Delta*tau
title_fullStr Annotated temporal logics Delta*tau
title_full_unstemmed Annotated temporal logics Delta*tau
title_sort Annotated temporal logics Delta*tau
author Abe, J. M.
author_facet Abe, J. M.
Akama, S.
Monard, M. C.
Sichman, J. S.
author_role author
author2 Akama, S.
Monard, M. C.
Sichman, J. S.
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
Universidade de São Paulo (USP)
Teikyo Heisei Univ
dc.contributor.author.fl_str_mv Abe, J. M.
Akama, S.
Monard, M. C.
Sichman, J. S.
dc.subject.por.fl_str_mv Time in Paraconsistent logics
paraconsistent temporal logic
time and paraconsistency
topic Time in Paraconsistent logics
paraconsistent temporal logic
time and paraconsistency
description 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.
publishDate 2000
dc.date.none.fl_str_mv 2000-01-01
2020-12-10T16:30:18Z
2020-12-10T16:30:18Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv Advances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.
0302-9743
http://hdl.handle.net/11449/194568
WOS:000174952800023
identifier_str_mv Advances In Artificial Intelligence. Berlin: Springer-verlag Berlin, v. 1952, p. 217-226, 2000.
0302-9743
WOS:000174952800023
url http://hdl.handle.net/11449/194568
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Advances In Artificial Intelligence
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 217-226
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1799965690651738112

Registros relacionados