Review: E. J. Lemmon, A Theory of Attributes Based on Modal Logic; Ruth Barcan Marcus, Classes and Attributes in Extended Modal Systems [Book Review]

Journal of Symbolic Logic 37 (1):180-181 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272578

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Modality and Databases.Melvin Fitting - unknown
Review: Lennart Aqvist, Results Concerning some Modal Systems that Contain S2; E. J. Lemmon, Some Results on Finite Axiomatizability in Modal Logic; E. J. Lemmon, A Note on Hallden-Incompleteness. [REVIEW]M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (4):648-649.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Essentialism in modal logic.Ruth Barcan Marcus - 1967 - Noûs 1 (1):91-96.
Modalities: philosophical essays.Ruth Barcan Marcus - 1961 - New York: Oxford University Press.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Themes From Barcan Marcus. Lauener Library of Analytical Philosophy, Vol. 3. pp. 51-74.
Ruth Barcan Marcus. The elimination of contexlually defined predicates in a modal system. The journal of symbolic logic, vol. 15 , p. 92. [REVIEW]Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (1):73-74.
Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
The elimination of contextually defined predicates in a modal system.Ruth Barcan Marcus - 1950 - Journal of Symbolic Logic 15 (2):92.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
Review on: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW]Eva-Maria Engelen - 1996 - Erkenntnis 44 (1):125-128.
Modal deduction in second-order logic and set theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.

Analytics

Added to PP
2013-11-22

Downloads
22 (#709,072)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Modal Property Comprehension.Ulrich Meyer - 2013 - Synthese 190 (4):693-707.

Add more citations

References found in this work

No references found.

Add more references