M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45

Journal of Symbolic Logic 36 (4):692 (1971)
  Copy   BIBTEX

Abstract

Review of the paper mentioned in the title.

Categories

Keywords

Reprint years

DOI

10.2307/2272525

Other Versions

No versions found

Links

PhilArchive



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

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. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 , pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 , pp. 406–408. [REVIEW]A. N. Prior - 1967 - Journal of Symbolic Logic 32 (3):396-397.
E. J. Lemmon. An extension algebra and the modal system T.Notre Dame Journal of formal logic, vol. 1 , pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics.The journal of symbolic logic, vol. 31 , pp. 46–65; pp. 191–218. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria , vol. 36 , pp. 331–335.S. K. Thomason - 1973 - Journal of Symbolic Logic 38 (3):520.
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 , pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 , pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
Extensional interpretations of modal logics.M. H. Löb - 1966 - Journal of Symbolic Logic 31 (1):23-45.
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.
W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 , pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 , pp. 101–124.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.

Analytics

Added to PP
2013-11-03

Downloads
36 (#634,807)

6 months
17 (#179,757)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references