76 citations · 83 across the 7 of their papers we have counts for
7 papers
The interpolant existence problem for weak K4 and difference logic
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
As well known, weak K4 and the difference logic DL do not enjoy the Craig interpolation property. Our concern here is the problem of deciding whether any given implication does hav…
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
None of the first-order modal logics between and under the constant domain semantics enjoys Craig interpolation or projective Beth definability, even in…
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev +1
Our concern is the problem of determining the data complexity of answering an ontology-mediated query (OMQ) formulated in linear temporal logic LTL over (Z,<) and deciding whether…
A tetrachotomy of ontology-mediated queries with a covering axiom
Olga Gerasimova, Stanislav Kikot, Agi Kurucz +2
Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to…
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Christopher Hampson, Stanislav Kikot, Agi Kurucz +1
Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In partic…
Bimodal logics with a `weakly connected' component without the finite model property
Agi Kurucz
There are two known general results on the finite model property (fmp) of commutators [L,L'] (bimodal logics with commuting and confluent modalities). If L is finitely axiomatisabl…
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
D. Gabelaia, R. Kontchakov, A. Kurucz +2
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the…