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
On strictly positive modal logics with \textsf{S}4.3 frames	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
On modal products with the logic of `elsewhere'	2014-06-11	Paper
Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable	2014-06-11	Paper
Representable cylindric algebras and many-dimensional modal logics	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
Modal logics for metric spaces: open problems	2011-07-06	Paper
On axiomatising products of Kripke frames. II	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