Modal companions of intermediate propositional logics

Studia Logica 51 (1):49 - 82 (1992)
  Copy   BIBTEX

Abstract

This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

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
2009-01-28

Downloads
33 (#351,448)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
The Structure of Lattices of Subframe Logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Lattice Logic as a Fragment of (2-Sorted) Residuated Modal Logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.

View all 19 citations / Add more citations

References found in this work

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
An Ascending Chain of S4 Logics.Kit Fine - 1974 - Theoria 40 (2):110-116.

View all 35 references / Add more references