Assertion, denial and some cancellation rules in modal logic.
Timothy WilliamsonPublished in: J. Philos. Log. (1988)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- epistemic logic
- conditional logic
- nonmonotonic logics
- situation calculus
- association rules
- default logic
- production rules
- modal operators
- rule sets
- higher order
- explanation based generalization
- bayesian networks
- deductive databases
- inductive learning
- model checking
- autoepistemic logic
- sequent calculus