Correction of the semantics for ${\rm S}4.03$ and a note on literal disjunctive symmetry

Notre Dame Journal of Formal Logic 24 (3):337-345 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870377

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

Semantics for ${\rm S}4.03$.G. N. Georgacarakos - 1977 - Notre Dame Journal of Formal Logic 18 (3):504-506.
Semantics for ${\rm S}4.3.2$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (4):454-460.
Semantics for ${\rm S}4.1.2$.Dolph Ulrich - 1978 - Notre Dame Journal of Formal Logic 19 (3):461-464.
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}3.02={\rm S}3.03$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (1):147-148.
${\rm S}4.6$ is ${\rm S}4.9$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (1):118-118.
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic ${\rm S}_5$ is metalogical".Zdzisław Dywan - 1986 - Notre Dame Journal of Formal Logic 27 (4):551-555.
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.
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.
${\rm E}$ and ${\rm S}4$.Robert K. Meyer - 1970 - Notre Dame Journal of Formal Logic 11 (2):181-199.

Analytics

Added to PP
2010-08-24

Downloads
18 (#858,528)

6 months
4 (#862,849)

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