TY  - BOOK
AU  - Gabbay, D.M. 
AU  -  Kurucz, A. 
AU  -  Wolter, F. 
AU  -  Zakharyaschev, M.
TI  - Many-dimensional modal logics : theory and applications
SN  -  0444508260 
U1  - 511.3 
PY  - 2003///
CY  - Amsterdam
PB  - Elsevier Science B.V.
KW  - Mathematics
ER  -