Correcting the tableau procedure for ${\rm S}4$

Notre Dame Journal of Formal Logic 25 (3):241-249 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870631

Other Versions

No versions found

Links

PhilArchive



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

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.
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.
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.
The rule of procedure ${\rm Re}$ in Ł ukasiewicz's many-valued propositional calculi.John Jones - 1985 - Notre Dame Journal of Formal Logic 26 (4):423-428.
Concerning some extensions of ${\rm S}4$.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):363-370.
A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.Ian Philip Gent - 1992 - Notre Dame Journal of Formal Logic 33 (3):369-382.
Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$).A. Burrieza & Juan C. León - 1987 - Notre Dame Journal of Formal Logic 28 (3):385-391.
${\rm S}4.6$ is ${\rm S}4.9$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (1):118-118.
${\rm S}3.02={\rm S}3.03$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (1):147-148.
A theorem on ${\rm S}4.2$ and ${\rm S}4.4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):335-336.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,370,997)

6 months
3 (#1,471,783)

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