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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

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.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Strict core fuzzy logics and quasi-witnessed models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
La connaissance commune en logique modale.Luc Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.
Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized quantifiers and modal logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.

Analytics

Added to PP
2014-02-12

Downloads
1 (#1,899,057)

6 months
1 (#1,462,504)

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