On the Expressive Power of Sub-Propositional Fragments of Modal Logic.
Davide BresolinEmilio Muñoz-VelascoGuido SciaviccoPublished in: GandALF (2016)
Keyphrases
- expressive power
- modal logic
- first order logic
- default logic
- prime implicates
- temporal logic
- propositional logic
- inference rules
- autoepistemic logic
- decision procedures
- transitive closure
- computational properties
- query language
- nonmonotonic logics
- data complexity
- conditional logic
- knowledge representation
- theorem prover
- relational algebra
- dynamic logic
- horn clauses
- epistemic logic
- probabilistic reasoning
- situation calculus
- default reasoning
- incomplete information
- model checking
- default theories
- relational calculus
- nonmonotonic reasoning
- modal operators
- aggregate functions
- relational query languages