Formal semantics of weak references.

Kevin Donnelly J. J. Hallett Assaf J. Kfoury

Published in: ISMM (2006)

Keyphrases

formal semantics
first order logic
operational semantics
logical language
modelling language
formal language
er model
logical reasoning
speech acts
modeling language
ontology languages
integrity constraints
theorem prover