Closures and Fairness in the Semantics of Programming Logic.
Jean-Louis LassezMichael J. MaherPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- logic programming
- proof theory
- sound and complete with respect
- sound and complete axiomatization
- propositional dynamic logic
- programming language
- proof theoretic
- epistemic logic
- nonmonotonic logics
- logical framework
- model theoretic
- formal semantics
- dynamic logic
- conditional logic
- classical logic
- active rules
- higher order logic
- operational semantics
- resource allocation
- valued semantics
- modal operators
- computational properties
- declarative programming
- modal logic
- derivation rules
- semantic information
- autoepistemic logic
- formal language
- logical rules
- default reasoning
- intuitionistic logic
- rewrite systems
- alternating time temporal logic
- logic programs
- abstract argumentation frameworks
- programming course
- highly expressive
- multi valued
- argumentation semantics
- truth maintenance systems
- algebraic structure
- object oriented programming
- answer set programming
- knowledge base
- programming environment
- nonmonotonic reasoning
- defeasible logic
- description logics