Formal Semantics of the CDL Language.

Thorsten Berger Steven She

Published in: CoRR (2022)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
expressive power
first order logic
desirable properties
er model
theorem prover
model theoretic
logical reasoning
natural language
databases
ontology languages
epistemic logic
software engineering