Daniel Găină

Available identifiers

zbMath Open gaina.danielMaRDI QIDQ878155

List of research outcomes

Publication	Date of Publication	Type
A modular bisimulation characterisation for fragments of hybrid logic	2023-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5884957	2023-03-24	Paper
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	2022-12-23	Paper
Lindström’s theorem, both syntax and semantics free	2022-09-22	Paper
Robinson consistency in many-sorted hybrid first-order logics	2022-08-18	Paper
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols	2022-03-09	Paper
Stability of termination and sufficient-completeness under pushouts via amalgamation	2020-12-15	Paper
Fraïssé–Hintikka theorem in institutions	2020-12-15	Paper
Forcing and Calculi for Hybrid Logics	2020-11-11	Paper
Birkhoff completeness for hybrid-dynamic first-order logic	2020-05-14	Paper
Combinatorics of $\lambda$-terms: a natural approach	2018-02-13	Paper
Birkhoff style calculi for hybrid logics	2017-11-29	Paper
Foundations of logic programming in hybrid logics with user-defined sharing	2017-06-15	Paper
Constructor-based logics	2016-07-08	Paper
Foundations of Logic Programming in Hybridised Logics	2016-02-25	Paper
Initial semantics in logics with constructors	2015-02-26	Paper
Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally	2015-02-05	Paper
On Automation of OTS/CafeOBJ Method	2014-03-25	Paper
Constructor-Based Inductive Theorem Prover	2013-09-13	Paper
Interpolation in logics with constructors	2013-03-27	Paper
Principles of proof scores in CafeOBJ	2013-01-07	Paper
Constructor-Based Institutions	2012-06-01	Paper
Completeness by Forcing	2011-01-19	Paper
Birkhoff completeness in institutions	2009-02-17	Paper
An institution-independent proof of the Robinson consistency theorem	2007-04-26	Paper
An Institution-independent Generalization of Tarski's Elementary Chain Theorem	2007-04-13	Paper

Research outcomes over time

This page was built for person: Daniel Găină