Measuring inconsistency in some branching time logics

DOI10.1080/11663081.2021.1915688OpenAlexW3165682373MaRDI QIDQ5156185

J. R. Grant

Publication date: 15 October 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2021.1915688

zbMATH Keywords

inconsistency measurescanonical treebranching time logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Measuring inconsistency in generalized propositional logic extended with nonunary operators ⋮ Semantic inconsistency measures using 3-valued logics

Cites Work

• Unnamed Item
• Unnamed Item
• On the expressivity of inconsistency measures
• Inconsistency measures for probabilistic logics
• Using branching time temporal logic to synthesize synchronization skeletons
• Classifications for inconsistent theories
• The logic of paradox
• Measuring inconsistency
• Handling and measuring inconsistency in non-monotonic logics
• Relative inconsistency measures
• On the complexity of inconsistency measurement
• Measuring inconsistency with many-valued logics
• Revisiting Postulates for Inconsistency Measures
• How Dirty Is Your Relational Database? An Axiomatic Approach

This page was built for publication: Measuring inconsistency in some branching time logics