Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare Dixon

Published in: CADE (2021)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
conditional logic
classical logic
default logic
efficient computation
case based reasoning
database applications