The admissibility of $\gamma$ in ${\rm R}4$

&
Notre Dame Journal of Formal Logic 33 (2):197-206 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636096

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

${\rm E}$ and ${\rm S}4$.Robert K. Meyer - 1970 - Notre Dame Journal of Formal Logic 11 (2):181-199.
A proper subsystem of ${\rm S}4.{\rm O}4.$.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):381-384.
Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):56-60.
Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.
A note on ${\rm R}_{\rightarrow}$ matrices.Robert K. Meyer - 1983 - Notre Dame Journal of Formal Logic 24 (4):450-472.
Correcting the tableau procedure for ${\rm S}4$.Bangs L. Tapscott - 1984 - Notre Dame Journal of Formal Logic 25 (3):241-249.
Concerning some extensions of ${\rm S}4$.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):363-370.
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.

Analytics

Added to PP
2010-08-24

Downloads
51 (#321,096)

6 months
14 (#200,872)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.
Metavaluations.Ross T. Brady - 2017 - Bulletin of Symbolic Logic 23 (3):296-323.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references