Switch to: Citations

References in:

Maximality in modal logic

R. C. Flagg & H. Friedman

Annals of Pure and Applied Logic 34 (2):99-118 (1987)

Add references

You must login to add references.

Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]Andrzej Grzegorczyk - 1970 - Journal of Symbolic Logic 34 (4):652-653.details Download Export citation Bookmark 16 citations
A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90--1133.details Download Export citation Bookmark 63 citations
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.details Download Export citation Bookmark 10 citations
On systems of modal logic with provability interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.details Download Export citation Bookmark 15 citations
Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.details Download Export citation Bookmark 6 citations
(1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details Download Export citation Bookmark 269 citations

1