Second-order propositional modal logic: Expressiveness and completeness results.
Francesco BelardinelliWiebe van der HoekLouwe B. KuijerPublished in: Artif. Intell. (2018)
Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- temporal logic
- expressive power
- decision procedures
- first order logic
- propositional logic
- inference rules
- higher order
- coalition logic
- classical logic
- epistemic logic
- nonmonotonic logics
- default reasoning
- situation calculus
- nonmonotonic reasoning
- default theories
- model checking
- dynamic logic
- strong equivalence
- description logic alc
- conditional logic
- computational properties
- general logic programs
- description logics
- probabilistic logic
- modal operators
- artificial intelligence
- query language