Login / Signup
Setting the Basis for Here and There Modal Logics.
Philippe Balbiani
Martín Diéguez
Luis Fariñas del Cerro
Published in:
FLAP (2019)
Keyphrases
</>
modal logic
decision procedures
inference rules
nonmonotonic logics
temporal logic
epistemic logic
situation calculus
classical logic
default logic
reinforcement learning
model checking
conditional logic
automated reasoning
special case
model theoretic
autoepistemic logic
computational complexity