S5 and the predicate calculus

Logique Et Analyse 25 (99):321 (1982)
  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,127

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

New Semantics For The Lower Predicate Calculus.Gary Legenhausen - 1985 - Logique Et Analyse 28 (112):317-339.
A Universally Valid System of Predicate Calculus with No Existential Presuppositions.J. T. Kearns - 1968 - Logique Et Analyse 41:367-389.
The reduction of deontic logic to the first-order predicate calculus.J. F. Lindemans - 1983 - Logique Et Analyse 26 (2):191.
Unspecified constants in predicate calculus and first-order theories.R. T. Brady - 1977 - Logique Et Analyse 20 (79):229.
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.
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.
An S5 diodorean modal system.M. J. White - 1979 - Logique Et Analyse 22 (88):477.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
The Logical modalities and the system S5.M. J. Carroll - 1976 - Logique Et Analyse 19 (74):457.

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

Add more citations

References found in this work

No references found.

Add more references