Daniel Gaina

19 papers A* 1B 3Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Forcing and Interpolation in First-Order Hybrid Logic with rigid symbols.
CoRR
Daniel Gaina, Hashimoto Go
2025 J jnl
A Modular Bisimulation characterisation for Fragments of Hybrid Logic.
Bull. Symb. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
ACM Trans. Comput. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 B conf
Model-Theoretic Forcing in Transition Algebra.
MFCS
Hashimoto Go, Daniel Gaina
2025 J jnl
Model-theoretic Forcing in Transition Algebra.
CoRR
Hashimoto Go, Daniel Gaina
2025 J jnl
Proof Scores: A Survey (full version).
CoRR
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2025 J jnl
Proof Scores: A Survey.
ACM Comput. Surv.
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2024 B conf
Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic.
AiML
Daniel Gaina
2024 J jnl
Birkhoff style proof systems for hybrid-dynamic quantum logic.
CoRR
Daniel Gaina
2024 A* conf
Forcing, Transition Algebras, and Calculi.
ICALP
Hashimoto Go, Daniel Gaina, Ionut Tutu
2024 J jnl
Forcing, Transition Algebras, and Calculi.
CoRR
Hashimoto Go, Daniel Gaina, Ionut Tutu
2024 J jnl
Foundations of logic programming in hybrid-dynamic quantum logic.
CoRR
Daniel Gaina
2024 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
CoRR
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2023 J jnl
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.
Ann. Pure Appl. Log.
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
2022 J jnl
Lindström's theorem, both syntax and semantics free.
J. Log. Comput.
Daniel Gaina, Tomasz Kowalski
2022 B conf
Robinson consistency in many-sorted hybrid first-order logics.
AiML
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
2020 J jnl
Forcing and Calculi for Hybrid Logics.
J. ACM
Daniel Gaina
2020 J jnl
Fraïssé-Hintikka theorem in institutions.
J. Log. Comput.
Daniel Gaina, Tomasz Kowalski
2020 J jnl
Stability of termination and sufficient-completeness under pushouts via amalgamation.
Theor. Comput. Sci.
Daniel Gaina, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi