Keyphrases
- epistemic logic
- dynamic logic
- modal operators
- logic program updates
- formal semantics
- fixpoint semantics
- fixpoint
- stable models
- stable model semantics
- logic programming
- model theoretic
- logic programs
- databases
- deductive databases
- propositional dynamic logic
- kripke models
- normal logic programs
- programming language constructs
- operational semantics
- nonmonotonic logics
- computer programs
- conceptual graphs
- answer sets
- logical framework
- semantics for logic programs
- dynamic epistemic logic
- modal logic
- semantic web
- programming language