Propositional modal logic with implicit modal quantification.
Anantha PadmanabhaR. RamanujamPublished in: CoRR (2018)
Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- decision procedures
- temporal logic
- inference rules
- coalition logic
- nonmonotonic logics
- classical logic
- propositional logic
- epistemic logic
- dynamic logic
- situation calculus
- default theories
- conditional logic
- nonmonotonic reasoning
- first order logic
- default reasoning
- general logic programs
- explanation based generalization
- description logic alc
- domain knowledge
- modal operators
- knowledge compilation
- probabilistic logic
- model checking
- probability distribution