Equivalence relations and ${\rm S}5$

Notre Dame Journal of Formal Logic 21 (3):577-584 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883181

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Modal trees for ${\rm T}$ and ${\rm S}5$.B. Davidson, F. C. Jackson & R. Pargetter - 1977 - Notre Dame Journal of Formal Logic 18 (4):602-606.
${\rm E}$ and ${\rm S}4$.Robert K. Meyer - 1970 - Notre Dame Journal of Formal Logic 11 (2):181-199.
Free ${\rm S}5$ algebras.Alfred Horn - 1978 - Notre Dame Journal of Formal Logic 19 (1):189-191.
The inadequacy of Hughes and Cresswell's semantics for the ${\rm CI}$ systems.Zane Parks & Terry L. Smith - 1974 - Notre Dame Journal of Formal Logic 15 (2):331-332.
Normal form generation of ${\rm S}5$ functions via truth functions.Gerald J. Massey - 1968 - Notre Dame Journal of Formal Logic 9 (1):81-85.
${\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 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
33 (#690,648)

6 months
16 (#192,948)

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