BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 3.

    Annals of Pure and Applied Logic

    Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2006) Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic 42 (1-3), pp. 245-268. ISSN 0168-0072.

    Journal of Artificial Intelligence Research

    Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research 23 , pp. 167-243. ISSN 1076-9757.

    The journal of Symbolic Logic

    Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2005) Products of 'transitive' modal logics. The journal of Symbolic Logic 70 (3), pp. 993-1021. ISSN 0022-4812.

    This list was generated on Thu Dec 2 05:17:52 2021 GMT.