4 papers
Forcing and Interpolation in first-order hybrid Logic with rigid symbols
Daniel Găină, Go Hashimoto
In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds…
Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel Găină
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic.…
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…
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…