Analysing the meaning of modalities in S4 and S5

Logique Et Analyse 29 (14):129 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Analysing the Meaning of Modalities in S4 and S5 in Dynamics of Meaning and Modality.Ek Voyshvillo - 1986 - Logique Et Analyse 29 (114):129-136.
Non-contingency axioms for S4 and S5.H. Montgomery & Richard Routley - 1968 - Logique Et Analyse 11:422-424.
Dialogische Modallogik (für T, B, S4, und S5).Shahid Rahman & Helge Rückert - 1999 - Logique Et Analyse 167 (168):243-282.
The Logical modalities and the system S5.M. J. Carroll - 1976 - Logique Et Analyse 19 (74):457.
A natural deduction variant of systems T, S4, S5, and the browerian system.R. W. Beard - 1973 - Logique Et Analyse 16 (63):311.
La correction de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5.A. Bayert - 1958 - Logique Et Analyse 1:99-121.
Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic].Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.
Another basis for S4.Donald Paul Snyder - 1965 - Logique Et Analyse 31 (4):191-195.
S5 and the predicate calculus.J. Porte - 1982 - Logique Et Analyse 25 (99):321.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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