Hoare's Logic is Incomplete When It Does Not Have To Be.
Jan A. BergstraAnna ChmielinskaJerzy TiurynPublished in: Logic of Programs (1981)
Keyphrases
- classical logic
- automated reasoning
- logic programming
- modal logic
- predicate logic
- expert systems
- missing data
- real time
- logical framework
- sound and complete axiomatization
- dynamic logic
- asynchronous circuits
- modal operators
- epistemic logic
- nonmonotonic logics
- computational properties
- probabilistic logic
- missing values
- multiscale