A Executable Formal Semantics for SDL-2000.

Andreas Prinz Robert Eschbach Reinhard Gotzhein

Published in: SAM (2000)

Keyphrases

formal semantics
formal language
logical language
er model
logical reasoning
ontology languages
modelling language
theorem prover
operational semantics
modeling language
formal specification
speech acts
artificial intelligence
first order logic
database
epistemic logic