References
Fine, K.: An ascending chain of S4 logics, Theoria 40 (1974).
Rautenberg, W.: Splitting lattices of logics, Archiv Math. Logik 20 (1980).
Segerberg, K.: An essay in classical modal logic, Mimeograph, Uppsala (1971).
Urquhart, A.: Decidability and the finite model property, JPL 10 (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kracht, M. A solution to a problem of urquhart. J Philos Logic 20, 285–286 (1991). https://doi.org/10.1007/BF00250541
Issue Date:
DOI: https://doi.org/10.1007/BF00250541