Quantified Modal Logics: One Approach to Rule (Almost) them All!

Eugenio Orlandelli

Published in: J. Philos. Log. (2024)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
situation calculus
autoepistemic logic
modal operators
multi agent systems
rule sets
theorem proving
dynamic logic