Inconsistency-tolerant temporal reasoning with hierarchical information

DOI10.1016/J.INS.2015.05.015zbMath1390.68610OpenAlexW295891996MaRDI QIDQ1749966

Norihiro Kamide

Publication date: 17 May 2018

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2015.05.015

zbMATH Keywords

complexityparaconsistent logiccomputation tree logicinconsistency-tolerant reasoninghierarchical information

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Paraconsistent logic programming
• The logic of information structures
• Paraconsistent computation tree logic
• Handbook of philosophical logic. Vol. 6
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Constructible falsity and inexact predicates
• Deciding full branching time logic
• “Sometimes” and “not never” revisited
• Logic Programming with Strong Negation and Inexact Predicates
• Aspects of Paraconsistent Logic
• Constructible falsity

This page was built for publication: Inconsistency-tolerant temporal reasoning with hierarchical information