Agi Kurucz

From MaRDI portal
Person:1006484

Available identifiers

zbMath Open kurucz.agiDBLPk/AKuruczWikidataQ62058586 ScholiaQ62058586MaRDI QIDQ1006484

List of research outcomes





PublicationDate of PublicationType
A non-uniform view of Craig interpolation in modal logics with linear frames2023-12-10Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic2023-08-28Paper
Deciding FO-definability of regular languages2023-03-30Paper
A tetrachotomy of ontology-mediated queries with a covering axiom2022-07-08Paper
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS2020-04-06Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations2020-03-12Paper
https://portal.mardi4nfdi.de/entity/Q52245792019-07-24Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic2017-10-16Paper
Bimodal logics with a ``weakly connected component without the finite model property2017-07-21Paper
One-variable first-order linear temporal logics with counting2017-02-02Paper
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting2017-01-30Paper
The decision problem of modal product logics with a diagonal, and faulty counter machines2016-06-14Paper
A Note on Axiomatisations of Two-Dimensional Modal Logics2015-01-06Paper
https://portal.mardi4nfdi.de/entity/Q54198872014-06-11Paper
https://portal.mardi4nfdi.de/entity/Q54198922014-06-11Paper
https://portal.mardi4nfdi.de/entity/Q28537142013-10-16Paper
Non-finitely axiomatisable two-dimensional modal logics2012-09-19Paper
On the complexity of modal axiomatisations over many-dimensional structures2012-08-05Paper
Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\)2012-08-05Paper
https://portal.mardi4nfdi.de/entity/Q30125292011-07-06Paper
https://portal.mardi4nfdi.de/entity/Q30851682011-03-30Paper
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property2010-01-07Paper
Weakly associative relation algebras with projections2009-04-09Paper
Towards a natural language semantics without functors and operands2009-03-24Paper
Non-primitive recursive decidability of products of modal logics with expanding domains2006-09-14Paper
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables2006-02-08Paper
Products of ‘transitive” modal logics2006-01-16Paper
https://portal.mardi4nfdi.de/entity/Q57156952006-01-04Paper
https://portal.mardi4nfdi.de/entity/Q54654432005-08-22Paper
Many-dimensional modal logics: theory and applications2004-02-17Paper

Research outcomes over time

This page was built for person: Agi Kurucz