The Modal Logic of Stepwise removal.

Johan van Benthem Krzysztof Mierzewski Francesca Zaffora Blando

Published in: Rev. Symb. Log. (2022)

Keyphrases

modal logic
temporal logic
decision procedures
classical logic
inference rules
epistemic logic
situation calculus
nonmonotonic logics
forward selection
model checking
modal operators
default logic
conditional logic
dynamic logic
knowledge base
explanation based generalization
machine learning