Agi Kurucz

Available identifiers

zbMath Open kurucz.agiWikidataQ62058586 ScholiaQ62058586MaRDI QIDQ1006484

List of research outcomes

Publication	Date of Publication	Type
A non-uniform view of Craig interpolation in modal logics with linear frames	2023-12-10	Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	2023-08-28	Paper
Deciding FO-definability of regular languages	2023-03-30	Paper
A tetrachotomy of ontology-mediated queries with a covering axiom	2022-07-08	Paper
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS	2020-04-06	Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations	2020-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q5224579	2019-07-24	Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic	2017-10-16	Paper
Bimodal logics with a ``weakly connected component without the finite model property	2017-07-21	Paper
One-variable first-order linear temporal logics with counting	2017-02-02	Paper
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting	2017-01-30	Paper
The decision problem of modal product logics with a diagonal, and faulty counter machines	2016-06-14	Paper
A Note on Axiomatisations of Two-Dimensional Modal Logics	2015-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5419887	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5419892	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q2853714	2013-10-16	Paper
Non-finitely axiomatisable two-dimensional modal logics	2012-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q2904058	2012-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q2904059	2012-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3012529	2011-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q3085168	2011-03-30	Paper
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property	2010-01-07	Paper
Weakly associative relation algebras with projections	2009-04-09	Paper
Towards a natural language semantics without functors and operands	2009-03-24	Paper
Non-primitive recursive decidability of products of modal logics with expanding domains	2006-09-14	Paper
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables	2006-02-08	Paper
Products of ‘transitive” modal logics	2006-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5715695	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5465443	2005-08-22	Paper
Many-dimensional modal logics: theory and applications	2004-02-17	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: Agi Kurucz