Daniel Gaina

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Quantifier Elimination

Classical First Order Logic

Qualitative Spatial And Temporal Reasoning

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Daniel Gaina
Foundations of logic programming in hybrid-dynamic quantum logic. CoRR (2024)
Daniel Gaina
Birkhoff style proof systems for hybrid-dynamic quantum logic. CoRR (2024)
Hashimoto Go, Daniel Gaina, Ionut Tutu
Forcing, Transition Algebras, and Calculi. ICALP (2024)
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR (2024)
Hashimoto Go, Daniel Gaina, Ionut Tutu
Forcing, Transition Algebras, and Calculi. CoRR (2024)
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. 174 (3) (2023)
Daniel Gaina, Tomasz Kowalski
Lindström's theorem, both syntax and semantics free. J. Log. Comput. 32 (5) (2022)
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
Robinson consistency in many-sorted hybrid first-order logics. AiML (2022)
Daniel Gaina, Tomasz Kowalski
Fraïssé-Hintikka theorem in institutions. J. Log. Comput. 30 (7) (2020)
Daniel Gaina
Forcing and Calculi for Hybrid Logics. J. ACM 67 (4) (2020)
Daniel Gaina, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
Stability of termination and sufficient-completeness under pushouts via amalgamation. Theor. Comput. Sci. 848 (2020)