Algorithmic Definability and Completeness in Modal Logic.
Dimiter VakarelovPublished in: FoIKS (2010)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- nonmonotonic logics
- propositional logic
- fixed point
- situation calculus
- epistemic logic
- dynamic logic
- finitely representable
- explanation based generalization
- conditional logic
- default logic
- data quality
- belief revision
- probability distribution
- dynamic programming
- prime implicates
- reinforcement learning
- artificial intelligence