Modal logics with the Macintosh rule.

Brian F. Chellas Krister Segerberg

Published in: J. Philos. Log. (1994)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
default logic
epistemic logic
autoepistemic logic
rule sets
situation calculus
production rules
theorem proving
reinforcement learning
classification rules
association rules
multi agent