BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 2.

    Book Section

    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.

    This list was generated on Thu Mar 28 06:26:46 2024 GMT.