Prefinitely axiomatizable modal and intermediate logics

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

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

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

Through your library

Analytics

Added to PP
2013-12-01

Downloads
39 (#579,489)

6 months
9 (#495,347)

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