Formal semantics of a classical-quantum language.
Yuxin DengYuan FengPublished in: Theor. Comput. Sci. (2022)
Keyphrases
- formal semantics
- logical language
- formal language
- operational semantics
- modelling language
- modeling language
- speech acts
- quantum computation
- quantum mechanics
- logical reasoning
- natural language
- er model
- first order logic
- theorem prover
- multi agent systems
- query answering
- ontology languages
- epistemic logic
- query language