Epistemic quantum computational structures in a Hilbert-space environment

MaRDI QIDQ2883181zbMATH OpenFDO

Authors Maria Luisa Dalla Chiara, Roberto Leporini, Enrico Beltrametti, Roberto Giuntini, Giuseppe Sergioli

Publication date 11 May 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL http://iospress.metapress.com/content/u454724t41548458/fulltext.html

zbMATH Keywords

epistemic logicquantum computational logicsepistemic structures

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Quantum computation (81P68)

Recommendations

• A quantum computational semantics for epistemic logical operators. I: Epistemic structures
• A quantum computational semantics for epistemic logical operators. II: Semantics
• Quantum approach to epistemic semantics
• A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
• Quantum teleportation and quantum epistemic semantics

Cited in

(9)

• Quantum approach to epistemic semantics
• Entanglement and quantum logical gates. II.
• A quantum computational semantics for epistemic logical operators. I: Epistemic structures
• A quantum computational semantics for epistemic logical operators. II: Semantics
• Unscrambling the quantum omelette
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A logical analysis of quantum voting protocols
• A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
• Towards a multi target quantum computational logic

This page was built for publication: Epistemic quantum computational structures in a Hilbert-space environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883181)