Keyphrases
- logic programming
- special case
- highly expressive
- nonmonotonic logics
- closely related
- modal logic
- alternating time temporal logic
- formal semantics
- sound and complete axiomatization
- general theory
- neural network
- propositional dynamic logic
- epistemic logic
- dynamic logic
- proof theory
- order sorted
- formal logic
- semantic information
- predicate logic
- formal language
- logical framework
- evaluation model
- propositional logic