Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.
Eric AlsmannFlorian BruseMartin LangePublished in: EXPRESS/SOS (2021)
Keyphrases
- expressive power
- fixpoint
- first order logic
- horn clauses
- logic programs
- recursive queries
- query language
- data complexity
- computational properties
- transitive closure
- relational algebra
- propositional logic
- deductive databases
- probabilistic reasoning
- inference rules
- finite state machines
- modal logic
- knowledge representation
- theorem prover
- inductive logic programming
- logic programming
- model theoretic
- default logic
- stable models
- database