Formal Semantics of a Subset of the Paderborn's BSPlib.

Frédéric Gava Jean Fortin

Published in: PDCAT (2008)

Keyphrases

formal semantics
logical language
logical reasoning
modeling language
operational semantics
formal language
modelling language
er model
theorem prover
ontology languages
first order logic
speech acts
epistemic logic
high level