Login / Signup
Z and Hoare Logics.
Antoni Diller
Published in:
Z User Workshop (1991)
Keyphrases
</>
modal logic
expressive power
inference rules
propositional calculus
real world
machine learning
classical logic
nonmonotonic logics
conditional logic
propositional dynamic logic
real time
data sets
artificial intelligence
default reasoning
computational properties
proof theory