Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results.
Martin LangePublished in: ICLA (2019)
Keyphrases
- fixpoint
- logic programs
- proof theoretic
- modal logic
- deductive databases
- semantics of logic programs
- datalog programs with negation
- truth values
- expressive power
- declarative semantics
- finite state machines
- stable models
- decision procedures
- magic sets
- magic sets transformation
- database
- model theoretic
- inference rules
- datalog programs
- answer sets
- anti monotone
- database management systems
- fixpoint semantics
- logic programming
- object oriented