scientific article

zbMath1248.03027MaRDI QIDQ2883181

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

Publication date: 11 May 2012

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

epistemic logicquantum computational logicsepistemic structures

Mathematics Subject Classification ID

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

Related Items (8)

Towards a multi target quantum computational logic ⋮ A first-order epistemic quantum computational semantics with relativistic-like epistemic effects ⋮ Entanglement and quantum logical gates. II. ⋮ Quantum approach to epistemic semantics ⋮ 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 ⋮ A logical analysis of quantum voting protocols

This page was built for publication: