Formal Semantics of a Classical-Quantum Language.

Yuxin Deng Yuan Feng

Published in: CoRR (2021)

Keyphrases

formal semantics
logical language
formal language
operational semantics
modeling language
modelling language
speech acts
quantum computation
first order logic
quantum mechanics
er model
ontology languages
model theoretic
logical reasoning
epistemic logic
theorem prover
natural language
description logics