44 citations · 44 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts
Joshua Hirschbrunn, Yevgeny Kazakov
The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this r…
cs.LO2009★ 44 cited
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Yevgeny Kazakov, Ian Pratt-Hartmann
Graded modal logic is the formal language obtained from ordinary (propositional) modal logic by endowing its modal operators with cardinality constraints. Under the familiar possib…