The Modal Logic of Stepwise Removal.

Johan van Benthem Krzysztof Mierzewski Francesca Zaffora Blando

Published in: CoRR (2021)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
default logic
conditional logic
dynamic logic
prime implicates
model checking
sequent calculus
explanation based generalization
forward selection