The Axiomatic Semantics of Programs Based on Hoare's Logic.
Jan A. BergstraJohn V. TuckerPublished in: Acta Informatica (1984)
Keyphrases
- dynamic logic
- declarative semantics
- logic programming
- proof theory
- epistemic logic
- propositional dynamic logic
- sound and complete axiomatization
- sound and complete with respect
- proof theoretic
- logic programs
- nonmonotonic logics
- logical framework
- deductive databases
- stable models
- operational semantics
- autoepistemic logic
- modal logic
- computational properties
- logic programming language
- recursive programs
- semantics of logic programs
- conditional logic
- default reasoning
- fixpoint semantics
- model theoretic
- fixpoint
- formal semantics
- alternating time temporal logic
- semantics for logic programs
- order sorted
- stable model semantics
- transformation rules
- answer sets
- database languages
- rule engine
- derivation rules
- active rules
- formal language
- set theory
- fixed point semantics
- normal logic programs
- predicate logic
- highly expressive
- modal operators
- rewrite systems
- control flow
- classical logic
- abstract argumentation frameworks
- algebraic structure
- predicate calculus
- intuitionistic logic
- proof procedures
- belief revision
- open world
- reasoning tasks
- inference rules
- nonmonotonic reasoning
- answer set programming