Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

A solution to a problem of urquhart

  • 28 Accesses

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


  1. [1]

    Fine, K.: An ascending chain of S4 logics, Theoria 40 (1974).

  2. [2]

    Rautenberg, W.: Splitting lattices of logics, Archiv Math. Logik 20 (1980).

  3. [3]

    Segerberg, K.: An essay in classical modal logic, Mimeograph, Uppsala (1971).

  4. [4]

    Urquhart, A.: Decidability and the finite model property, JPL 10 (1981).

Download references

Author information

Rights and permissions

Reprints 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

Download citation