McKinsey J. C. C.. Proof that there are infinitely many modalities in Lewis's system S2 [Book Review]

Journal of Symbolic Logic 6 (1):37-37 (1941)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267300

Links

PhilArchive



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

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

Proof that there are infinitely many modalities in Lewis's system S 2.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):110-112.
An Investigation of the Properties of the Mckinsey Axiom.Xiaoping Wang - 1991 - Dissertation, Tulane University
Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.
Gabriele Lolli. Fenomenologia della dimostrazione. Turin: Il Mulino, 2005. ISBN 88-339-1588-3. Pp. 182.V. Giardino - 2007 - Philosophia Mathematica 15 (1):132-134.
Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Toward A Visual Proof System: Lewis Carroll’s Method of Trees.Francine F. Abeles - 2012 - Logica Universalis 6 (3-4):521-534.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
Review: J. C. C. McKinsey, A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology. [REVIEW]W. T. Parry - 1942 - Journal of Symbolic Logic 7 (3):118-119.
Finite and Physical Modalities.Mauro Gattari - 2005 - Notre Dame Journal of Formal Logic 46 (4):425-437.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
Implicit Proofs.Jan Krajíček - 2004 - Journal of Symbolic Logic 69 (2):387 - 397.
2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript

Analytics

Added to PP
2013-11-22

Downloads
13 (#1,032,575)

6 months
2 (#1,188,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references