Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Birkhoff style proof systems for hybrid-dynamic quantum logic
Daniel Gaina
We explore a simple approach to quantum logic based on hybrid and dynamic modal logic, where the set of states is given by some Hilbert space. In this setting, a notion of quantum…
cs.LO2024
Foundations of logic programming in hybrid-dynamic quantum logic
Daniel Gaina
The main contribution of the present paper is the introduction of a simple yet expressive hybrid-dynamic logic for describing quantum programs. This version of quantum logic can ex…