An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.
Erica CalardoVladimir V. RybakovPublished in: Log. J. IGPL (2007)
Keyphrases
- modal logic
- temporal logic
- inference rules
- modal operators
- decision procedures
- epistemic logic
- domain knowledge
- classical logic
- knowledge representation
- nonmonotonic logics
- knowledge base
- knowledge management
- dynamic logic
- knowledge acquisition
- programming language
- prior knowledge
- conditional logic
- explanation based generalization
- model checking
- data mining techniques
- expert systems