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
https://portal.mardi4nfdi.de/entity/Q2816365	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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