The modal logic of copy and remove.

Carlos Areces Hans van Ditmarsch Raul Fervari François Schwarzentruber

Published in: Inf. Comput. (2017)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
conditional logic
model checking
machine learning
situation calculus
default logic
classical logic
autoepistemic logic
dynamic logic
explanation based generalization
prime implicates
data model