References
ChellasB., Modal Logic, an Introduction, Cambridge University Press, Cambridge, 1980.
Craig, W. ‘On axiomatizability within a system’, J. Symbolic Logic 18, 30–32.
HanssonB. and GärdenforsP., ‘Filtrations and the finite frame property in Boolean semantics’, in Proceedings of the Third Scandinavian Logic Symposium, North-Holland, Amsterdam, 1975.
Urquhart, A., ‘The decision problem for equational theories’, Houston Journal of Mathematics, forthcoming.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Urquhart, A. Decidability and the finite model property. J Philos Logic 10, 367–370 (1981). https://doi.org/10.1007/BF00293428
Issue Date:
DOI: https://doi.org/10.1007/BF00293428