Monotonic modal logics with a conjunction.

Ma. Paula Menchón Sergio A. Celani

Published in: Arch. Math. Log. (2021)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
conditional logic
autoepistemic logic
artificial intelligence
default logic
dynamic programming
modal operators
dynamic logic