Admissible Rules of Modal Logics.

Published in: J. Log. Comput. (2005)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
rule sets
default logic
association rules
state space
situation calculus
classical logic
classification rules
production rules
data model
special case