An Alternative Rule of disjunction in modal logic.
Timothy WilliamsonPublished in: Notre Dame J. Formal Log. (1992)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- conditional logic
- epistemic logic
- nonmonotonic logics
- situation calculus
- default logic
- explanation based generalization
- classification rules
- classical logic
- prime implicates
- association rules
- rule sets
- state space
- knowledge representation
- domain knowledge
- modal operators