Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Non-primitive recursive decidability of products of modal logics with expanding domains

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

Full text not available from this repository.


Item Type:Article
Subjects:UNSPECIFIED
ID Code:154
Deposited By:Dr Agi Kurucz
Deposited On:26 Oct 2007 14:10
Last Modified:01 Nov 2007 18:16

Repository Staff Only: item control page