Quantification in Some Non-normal Modal Logics.

Erica Calardo Antonino Rotolo

Published in: J. Philos. Log. (2017)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
dynamic logic
conditional logic
situation calculus
default logic
theorem proving
kripke models
machine learning
model checking
dynamic programming
artificial intelligence