Browse by Person
 | Up a level |
Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2010) Islands of tractability for relational constraints: towards dichotomy results for the description logic EL. In: Beklemishev, L. and Goranko, V. and Shehtman, V. (eds.) Papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27. Advances In Modal Logic 8. London, UK: College Publications, pp. 271-291. ISBN 9781848900134.
Kikot, Stanislav (2010) Semantic characterization of Kracht formulas. In: Beklemishev, L.D. and Goranko, V. and Shehtman, V. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 218-234. ISBN 9781848900134.