The expressive power of modal logic with inclusion atoms.
Lauri HellaJohanna StumpfPublished in: GandALF (2015)
Keyphrases
- expressive power
- modal logic
- temporal logic
- query language
- inference rules
- decision procedures
- first order logic
- classical logic
- transitive closure
- logic programs
- relational algebra
- nonmonotonic logics
- data complexity
- computational properties
- epistemic logic
- situation calculus
- modal operators
- default logic
- prime implicates
- machine learning
- recursive queries
- autoepistemic logic
- data model