Extending separation logic with fixpoints and postponed substitution.
Élodie-Jane SimsPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- logic programs
- autoepistemic logic
- logic programming
- deductive databases
- classical logic
- modal logic
- nonmonotonic reasoning
- multi valued
- database
- defeasible logic
- computational properties
- fixpoint
- default logic
- databases
- declarative semantics
- deductive reasoning
- deontic logic
- abductive reasoning
- truth values
- answer sets
- real time