Measuring inconsistency in some branching time logics

DOI10.1080/11663081.2021.1915688OpenAlexW3165682373MaRDI QIDQ5156185FDOQ5156185

Authors: John 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

Recommendations

• Measuring inconsistency in some logics with tense operators
• On the complexity of inconsistency measurement
• Measuring inconsistency in generalized propositional logic
• The temporal logic of branching time
• Measuring inconsistency with many-valued logics

zbMATH Keywords

inconsistency measurescanonical treebranching time logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (4)

• Semantic inconsistency measures using 3-valued logics
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Handling and measuring inconsistency in non-monotonic logics
• Measuring inconsistency in some logics with tense operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5156185)