One Modal Logic to Rule Them All?.
Wesley H. HollidayTadeusz LitakPublished in: Advances in Modal Logic (2018)
Keyphrases
- modal logic
- inference rules
- temporal logic
- decision procedures
- epistemic logic
- situation calculus
- default logic
- nonmonotonic logics
- classical logic
- conditional logic
- dynamic logic
- association rules
- explanation based generalization
- prime implicates
- production rules
- desirable properties
- classification rules
- multi agent
- knowledge representation
- modal operators
- dynamic programming
- reinforcement learning