Single variable formulas in S4→

Journal of Philosophical Logic 5 (4):439-456 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02109437

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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. A. E. Dummett, E. J. Lemmon, Modal Logics Between S4 and S5; Iwao Nishimura, On Formulas of One Variable in Intuitionistic Propositional Calculus; D. C. Makinson, There are Infinitely Many Diodorean Modal Functions. [REVIEW]A. N. Prior - 1967 - Journal of Symbolic Logic 32 (3):396-397.
Subframe formulas for s4-type intuitionistic modal logic.Kazuyo Inoi - 2001 - Bulletin of the Section of Logic 30 (2):99-105.
Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus.V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 67--69.
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics.Junhua Yu - 2014 - Annals of Pure and Applied Logic 165 (1):371-388.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
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.
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
On formulas with one variable in some fragment of Grzegorczyk's modal logic.Zofia Kostrzycka - 2004 - Bulletin of the Section of Logic 33 (2):95-106.
On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.

Analytics

Added to PP
2009-01-28

Downloads
38 (#432,381)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Melbourne, Australia November 9–11, 2007.Greg Restall & Conrad Asmus - 2008 - Bulletin of Symbolic Logic 14 (3).

Add more citations

References found in this work

Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
There are infinitely many diodorean modal functions.D. C. Makinson - 1966 - Journal of Symbolic Logic 31 (3):406-408.

Add more references