Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).
Christoph BenzmüllerPublished in: Verification, Induction, Termination Analysis (2010)
Keyphrases
- modal logic
- higher order
- temporal logic
- decision procedures
- model checking
- inference rules
- natural images
- classical logic
- nonmonotonic logics
- prime implicates
- conditional logic
- high order
- reasoning systems
- explanation based generalization
- epistemic logic
- default logic
- markov random field
- multi dimensional
- dynamic logic
- situation calculus
- pairwise
- autoepistemic logic
- bayesian networks
- artificial intelligence
- machine learning