Flexible Automation of Quantified Multi-Modal Logics with Interactions.

Melanie Taprogge Alexander Steen

Published in: KI (2023)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
conditional logic
default logic
model checking
situation calculus
automated reasoning
kripke models
multi agent systems
modal operators