On the Completeness of Propositional Hoare Logic.
Dexter KozenJerzy TiurynPublished in: RelMiCS (2000)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- horn clauses
- deductive reasoning
- proof procedure
- propositional logic
- autoepistemic logic
- default logic
- logic programming
- propositional variables
- predicate calculus
- first order logic
- classical logic
- modal logic
- predicate logic
- truth maintenance systems
- general logic programs
- asynchronous circuits
- knowledge base
- classical first order logic
- belief revision
- data quality
- dynamic logic
- inductive logic programming
- automated reasoning
- abductive reasoning
- theorem proving
- digital circuits
- nonmonotonic logics
- neural network
- nonmonotonic reasoning