LQP: the dynamic logic of quantum information
From MaRDI portal
Publication:5482272
DOI10.1017/S0960129506005299zbMath1103.03031arXiv2110.01361OpenAlexW2138408756MaRDI QIDQ5482272
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.01361
Related Items
Logics of informational interactions, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, The dynamic turn in quantum logic, A first-order epistemic quantum computational semantics with relativistic-like epistemic effects, Correlated knowledge: an epistemic-logic view on quantum entanglement, On definition of skew frames, Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect, Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs, Modeling correlated information change: from conditional beliefs to quantum conditionals, QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS, PLQP \& Company: decidable logics for quantum algorithms, Termination of nondeterministic quantum programs, Toward automatic verification of quantum programs, A dynamic-logical perspective on quantum behavior, Duality for the logic of quantum actions, A logical analysis of quantum voting protocols, Quantum logic as a dynamic logic, A proof system for disjoint parallel quantum programs, A logic for quantum register measurements, Correlated Information: A Logic for Multi-Partite Quantum Systems, Classical Knowledge for Quantum Cryptographic Reasoning