Canonicity in power and modal logics of finite achronal width.

Robert Goldblatt Ian M. Hodkinson

Published in: CoRR (2022)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
power consumption
classical logic
conditional logic
autoepistemic logic
expert systems
default logic
dynamic logic
operational semantics