@article{Gabelaia2006245,
    Author = {Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, M.},
    File = {Non-primitive recursive decidability of products of modal logics with expanding domains - Gabelaia, Kurucz, Wolter, Zakharyaschev (0) (0) - a - a - h.pdf},
    ISSN = {0168-0072},
    Journal = {Annals of Pure and Applied Logic},
    Keywords = {dynamic topological logic and lossy channel systems},
    Number = {1--3},
    Pages = {245 - 268},
    Title = {Non-primitive recursive decidability of products of modal logics with expanding domains},
    URL = {http://www.sciencedirect.com/science/article/pii/S0168007206000054},
    Volume = {142},
    Year = {2006},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007206000054},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2006.01.001},
    date-added = {2013-10-30 12:39:41 +0000},
    date-modified = {2013-10-30 12:39:57 +0000},
    doi = {10.1016/j.apal.2006.01.001}
}

@article{Gabelaia2006245, Author = {Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, M.}, File = {Non-primitive recursive decidability of products of modal logics with expanding domains - Gabelaia, Kurucz, Wolter, Zakharyaschev (0) (0) - a - a - h.pdf}, ISSN = {0168-0072}, Journal = {Annals of Pure and Applied Logic}, Keywords = {dynamic topological logic and lossy channel systems}, Number = {1--3}, Pages = {245 - 268}, Title = {Non-primitive recursive decidability of products of modal logics with expanding domains}, URL = {http://www.sciencedirect.com/science/article/pii/S0168007206000054}, Volume = {142}, Year = {2006}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007206000054}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2006.01.001}, date-added = {2013-10-30 12:39:41 +0000}, date-modified = {2013-10-30 12:39:57 +0000}, doi = {10.1016/j.apal.2006.01.001} }