DAML Foundations

formal semantics

• model-theoretic semantics
• axiomatic semantics