Modal trees for ${\rm T}$ and ${\rm S}5$

, &
Notre Dame Journal of Formal Logic 18 (4):602-606 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888127

Links

PhilArchive



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

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

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.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
Modal system ${\rm S}3$ and the proper axioms of ${\rm S}4.02$ and ${\rm S}4.04$.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (3):415-418.
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.
Erratum: ``Modal system ${rm S}3$ and the proper axioms of ${rm S}4.02$ and ${rm S}4.04$''.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
An extension algebra and the modal system ${\rm T}$.E. J. Lemmon - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):3-12.
Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.
Equivalence relations and ${\rm S}5$.G. E. Hughes - 1980 - Notre Dame Journal of Formal Logic 21 (3):577-584.
Free ${\rm S}5$ algebras.Alfred Horn - 1978 - Notre Dame Journal of Formal Logic 19 (1):189-191.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,206,671)

6 months
10 (#382,620)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.

Add more citations

References found in this work

No references found.

Add more references