A sufficient condition for the finite model property of modal logics above K4

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.

Full text not available from this repository.

Official URL: https://doi.org/10.1093/jigpal/1.1.13

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	15 Nov 2021 13:07
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46718

Statistics

Archive Staff Only (login required)