Constructive and mechanised meta-theory of IEL and similar modal logics.

Christian Hagemeier Dominik Kirst

Published in: J. Log. Comput. (2022)

Keyphrases

modal logic
inference rules
decision procedures
nonmonotonic logics
temporal logic
epistemic logic
modal operators
theoretical framework
conditional logic
situation calculus
classical logic
kripke models
cooperative
mathematical theory
dynamic logic