Skip to main content
Log in

Strong completeness with respect to finite kripke models

Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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.

  2. M. Fitting,Intuitionistic logic model theory and forcing,Studies in Logic and the Foundations of Mathematics, 1969,

  3. R. I. Goldblatt,Metamathematics of modal logic. Part I,Reports on Mathematical Logic 6 (1976), pp. 41–78.

    Google Scholar 

  4. G. Grätzer,Universal Algebra, D. Van Nostrand, Princeton, N. J., 1968.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. H. Rasiowa andR. Sikorski,The Mathematics of Metamathematics, PWN, Warszawa 1963.

    Google Scholar 

  7. K. Segerberg,An essay in classical modal logic, Uppsala 1971.

  8. C. Smoryński,Investigations of intuitionistic formal systems by means of Kripke models, Doctoral Dissertation, Stanford 1972.

Download references

Author information

Authors and Affiliations

Authors

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

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02584059

Keywords

Navigation