Quantum Interaction
Logics for Quantum Interaction
UNIVERSITY OF AMSTERDAM, THE NETHERLANDS
News:
The five-year NWO Vidi project of Dr. Sonja Smets has been completed at the Institute of Logic, Language and Computation at the University of Amsterdam.
Short project description:
As for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or ``spatial") logics. But other logical formalisms, such as probabilistic logic, linear logic and coalgebraic logic (or categorical logic, in general), may also turn out to be useful in this context
Click here for an overview of the project output and the workshops that we organized!