Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.
Andrzej SalwickiPublished in: MFCS (1980)
Keyphrases
- logic programming
- semantics for logic programs
- dynamic logic
- sound and complete axiomatization
- declarative semantics
- semantics of logic programs
- proof theory
- complete axiomatization
- logical theories
- fixpoint
- logic programs
- propositional dynamic logic
- answer sets
- sound and complete with respect
- modal logic
- model theoretic
- epistemic logic
- computational properties
- deductive databases
- operational semantics
- stable models
- knowledge base
- kripke models
- action theories
- classical logic
- valued logic
- normal logic programs
- logical framework
- fixpoint semantics
- active rules
- modal operators
- recursive programs
- nonmonotonic logics
- proof theoretic
- open world
- reasoning about actions
- first order logic
- formal language
- control flow
- multi valued
- situation calculus
- horn clauses
- automated reasoning
- formal semantics
- autoepistemic logic
- possibilistic logic
- transformation rules
- derivation rules
- default reasoning
- intuitionistic logic
- logical rules
- conditional logic
- agent programming