9 citations · 52 across the 16 of their papers we have counts for
3 papers · 1 filter
Completeness of logics with the transitive closure modality and related logics
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
We give a sufficient condition for Kripke completeness of modal logics enriched with the transitive closure modality. More precisely, we show that if a logic admits what we call de…
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…
On monotonic determinacy and rewritability for recursive queries and views
Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja +1
A query Q is monotonically determined over a set of views if Q can be expressed as a monotonic function of the view image. In the case of relational algebra views and queries, mono…