On the completeness of propositional Hoare logic.
Dexter KozenJerzy TiurynPublished in: Inf. Sci. (2001)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- propositional logic
- deductive reasoning
- horn clauses
- proof procedure
- classical logic
- default logic
- classical first order logic
- modal logic
- general logic programs
- propositional variables
- first order logic
- truth maintenance systems
- logic programming
- predicate calculus
- autoepistemic logic
- asynchronous circuits
- predicate logic
- digital circuits
- proof theory
- logical theories
- abductive reasoning
- model theoretic
- strong equivalence
- defeasible logic
- computational properties
- coalition logic
- deductive databases
- logic programs