Login / Signup
On Checking Kripke Models for Modal Logic K.
Jean-Marie Lagniez
Daniel Le Berre
Tiago de Lima
Valentin Montmirail
Published in:
PAAR@IJCAR (2016)
Keyphrases
</>
modal logic
kripke models
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
conditional logic
dynamic logic
default logic
multi agent
model checking
action theories