Non-contingency axioms for S4 and S5

&
Logique Et Analyse 11:422-424 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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.E. K. Voyshvillo - 1986 - Logique Et Analyse 29 (14):129.
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.
Dialogische Modallogik (für T, B, S4, und S5).Shahid Rahman & Helge Rückert - 1999 - Logique Et Analyse 167 (168):243-282.
A natural deduction variant of systems T, S4, S5, and the browerian system.R. W. Beard - 1973 - Logique Et Analyse 16 (63):311.
Contingency and non-contingency bases for normal modal logics.Hugh Montgomery & Richard Routley - 1966 - Logique Et Analyse 9 (35):318.
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 , pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 , pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 , pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 , pp. 757–758. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):328-329.
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.
A sequence of normal modal systems with non-contingency bases.Chris Mortensen - 1976 - Logique Et Analyse 19 (74):341-344.

Analytics

Added to PP
2014-02-11

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

Ignorance of ignorance.Kit Fine - 2018 - Synthese 195 (9):4031-4045.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.
A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references