Prefinitely axiomatizable modal and intermediate logics

Mathematical Logic Quarterly 39 (1):301-322 (1993)


A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55

Download options


    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

24 (#479,042)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

An Ascending Chain of S4 Logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.
Bounded Properties in Modal Logic.George F. Schumm - 1981 - Mathematical Logic Quarterly 27 (13‐14):197-200.

Add more references

Citations of this work

Canonical Formulas for Wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - Review of Symbolic Logic 5 (4):731-762.
Nick Bezhanishvili.Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.

Add more citations

Similar books and articles

Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Remark on a Finite Axiomatization of Finite Intermediate Propositional Logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.