Measuring inconsistency in some branching time logics
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2021.1915688
Abstract: Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional logic have been studied since the early 2000s… read more here.
Keywords: propositional logic; inconsistency; time; time logics ... See more keywords