Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Zakharyaschev, Michael (1993) A sufficient condition for the finite model property of modal logics above K4. Logic Journal of the IGPL 1 (1), pp. 13-21. ISSN 1367-0751.