A Formal Semantics of Findel in Coq (Short Paper).

Andrei Arusoaie

Published in: CoRR (2019)

Keyphrases

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