%0 Journal Article %1 journals/apal/GabelaiaKWZ06 %A Gabelaia, David %A Kurucz, Agi %A Wolter, Frank %A Zakharyaschev, Michael %D 2006 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 245-268 %T Non-primitive recursive decidability of products of modal logics with expanding domains. %U http://dblp.uni-trier.de/db/journals/apal/apal142.html#GabelaiaKWZ06 %V 142

@article{journals/apal/GabelaiaKWZ06, added-at = {2023-12-17T00:00:00.000+0100}, author = {Gabelaia, David and Kurucz, Agi and Wolter, Frank and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/20515b57e84b4d430d3e1df6c7ee12410/dblp}, ee = {https://doi.org/10.1016/j.apal.2006.01.001}, interhash = {c4a456569d7205a6a437251a97be3fb1}, intrahash = {0515b57e84b4d430d3e1df6c7ee12410}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {245-268}, timestamp = {2024-04-09T02:35:53.000+0200}, title = {Non-primitive recursive decidability of products of modal logics with expanding domains.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal142.html#GabelaiaKWZ06}, volume = 142, year = 2006 }