Agi Kurucz

Available identifiers

zbMath Open kurucz.agiDBLPk/AKuruczWikidataQ62058586 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
On the complexity of modal axiomatisations over many-dimensional structures	2012-08-05	Paper
Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\)	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

This page was built for person: Agi Kurucz