Extensional interpretations of modal logics

Journal of Symbolic Logic 31 (1):23-45 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270618

Other Versions

No versions found

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Review: M. H. Lob, Extensional Interpretations of Modal Logics. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692.
Löb M. H.. Concatenation as basis for a complete system of arithmetic.Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
Löb M. H.. Concatenation as basis for a complete system of arithmetic.Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150.
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 , pp. 115–118.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Kristina Brantley - 2020 - Bulletin of Symbolic Logic 26 (3-4):296-296.
Partial interpretations of Lesniewski's epsilon in modal and intensional logics.T. Inoué - 1995 - Bulletin of Symbolic Logic 1:95-96.

Analytics

Added to PP
2009-01-28

Downloads
37 (#613,263)

6 months
11 (#354,748)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

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.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Modality and Quantification.Jaakko Hintikka - 1961 - Theoria 27 (3):119-128.
Provability in Logic.F. H. Fischer - 1957 - Journal of Symbolic Logic 23 (1):37-38.

Add more references