Measuring inconsistency in some branching time logics.

Published in: J. Appl. Non Class. Logics (2021)

Keyphrases

epistemic logic
classical logic
modal logic
temporal logic
expressive power
valued semantics
valued logic
model checking
logic programming
inference rules
temporal reasoning
artificial intelligence
default logic
logical framework
belief base
real time
proof theoretic