Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic.
Zhiguang ZhaoPublished in: CoRR (2021)
Keyphrases
- modal logic
- default logic
- prime implicates
- inference rules
- temporal logic
- autoepistemic logic
- decision procedures
- modal operators
- epistemic logic
- situation calculus
- conditional logic
- general theory
- kripke models
- truth maintenance systems
- dynamic logic
- nonmonotonic logics
- classical logic
- nonmonotonic reasoning
- propositional logic
- default theories
- formal specification
- first order logic
- higher order
- relational databases
- explanation based generalization
- logical theories
- general logic programs
- description logic alc
- knowledge base