2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
math.LO2022★ 2 cited
Robinson consistency in many-sorted hybrid first-order logics
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result…