Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail.

Xiaoxuan Fu Zhiguang Zhao

Published in: CLAR (2023)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
dynamic environments
conditional logic
default logic
dynamic logic
explanation based generalization
kripke models
situation calculus
autoepistemic logic