Strategic knowledge of the past in quantum cryptography

DOI10.1007/978-3-662-55665-8_24MaRDI QIDQ1679773zbMATH OpenOpenAlexFDO

Authors Christophe Chareton, Hans van Ditmarsch

Publication date 22 November 2017

Full work available at URL https://doi.org/10.1007/978-3-662-55665-8_24

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Quantum cryptography (quantum-theoretic aspects) (81P94)

Recommendations

• An epistemic strategy logic
• scientific article; zbMATH DE number 7361815
• Classical knowledge for quantum cryptographic reasoning
• Reasoning about knowledge and strategies: epistemic strategy logic
• Quantum approach to epistemic semantics

This page was built for publication: Strategic knowledge of the past in quantum cryptography

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