Abstract
We prove that each intermediate or normal modal logic is strongly complete with respect to a class of finite Kripke frames iff it is tabular, i.e. the respective variety of pseudo-Boolean or modal algebras, corresponding to it, is generated by a finite algebra.
References
W. J. Blok,On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics,Report 78–07, University of Amsterdam.
M. Fitting,Intuitionistic logic model theory and forcing,Studies in Logic and the Foundations of Mathematics, 1969,
R. I. Goldblatt,Metamathematics of modal logic. Part I,Reports on Mathematical Logic 6 (1976), pp. 41–78.
G. Grätzer,Universal Algebra, D. Van Nostrand, Princeton, N. J., 1968.
R. Harrop,The finite model property and subsystems of classical propositional calculus,Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 5 (1959), pp. 29–32.
H. Rasiowa andR. Sikorski,The Mathematics of Metamathematics, PWN, Warszawa 1963.
K. Segerberg,An essay in classical modal logic, Uppsala 1971.
C. Smoryński,Investigations of intuitionistic formal systems by means of Kripke models, Doctoral Dissertation, Stanford 1972.
Author information
Authors and Affiliations
Additional information
The author wishes to thank the Editors for calling his attention to the fact that the result of this paper concerning the intermediate logics was announced earlier by A. Wroński at the conference “Logical calculi”, Wrocław, October 5–7, 1975, though without proof. Wroński's result has not been published.
Rights and permissions
About this article
Cite this article
Dziobiak, W. Strong completeness with respect to finite kripke models. Stud Logica 40, 249–252 (1981). https://doi.org/10.1007/BF02584059
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02584059