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]

Logique Et Analyse 2 (6):99-121 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

original Bayert, A. (1958) "La correction de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5". Logique Et Analyse 1():99-121

Links

PhilArchive



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

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

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.
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.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
Arnoud Bayart's Modal Completeness Theorems — Translated with an Introduction and Commentary.M. J. Cresswell - 2015 - Logique Et Analyse 229 (1):89-142.
An S5 diodorean modal system.M. J. White - 1979 - Logique Et Analyse 22 (88):477.
Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.
Everyone Knows That Someone Knows: Quantifiers Over Epistemic Agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.
Extensions of modal logic S5 preserving NP-completeness.Stéphane Demri - 1997 - Bulletin of the Section of Logic 26 (2):73-84.
S5 and the predicate calculus.J. Porte - 1982 - Logique Et Analyse 25 (99):321.
The Logical modalities and the system S5.M. J. Carroll - 1976 - Logique Et Analyse 19 (74):457.

Analytics

Added to PP
2014-02-12

Downloads
1 (#1,946,798)

6 months
1 (#1,892,267)

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

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references