Expressiveness and the Completeness of Hoare's Logic.
Jan A. BergstraJohn V. TuckerPublished in: J. Comput. Syst. Sci. (1982)
Keyphrases
- computational properties
- expressive power
- modal logic
- multi valued
- logic programming
- classical logic
- monadic second order logic
- predicate logic
- digital circuits
- deontic logic
- highly expressive
- defeasible logic
- data quality
- logic synthesis
- machine learning
- proof theory
- sound and complete axiomatization
- epistemic logic
- truth values
- logic programs
- multi agent
- case study