1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2014★ 1 cited
A dichotomy for some elementarily generated modal logics
Stanislav Kikot
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form …
cs.AI2014
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
This paper investigates the impact of query topology on the difficulty of answering conjunctive queries in the presence of OWL 2 QL ontologies. Our first contribution is to clarify…
math.LO2010
An extension of Kracht's theorem to generalized Sahlqvist formulas
Stanislav Kikot
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and can…