Semantical Analysis O F Modal Logic I Normal Modal Propositional Calculi

@inproceedings{KripkeSemanticalAO,
  title={Semantical Analysis O F Modal Logic I Normal Modal Propositional Calculi},
  author={Saul Kripke}
}
The present paper attempts to extend the results of [l], in the domain of the propositional calculus, to a class of modal systems called " normal. " This class includes M and S4 as well as S 5 ; we will also treat a new system, the " BROUWER-sche " system. I n sequels to the present paper, we intend to extend the treatment to non-normal modal propositional calculi (see [7] for an enumeration of the systems included), and to quantificational and identity extensions of all these propositional… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Modal logics between 64 and S5. This Zeitschr

M A E Duaraamr, E J Lemmon
Modal logics between 64 and S5. This Zeitschr • 1969

Itapporta entre calcula propositionela modaux et topologie impliques par certain extensions de la methode des tableaux eemantiques

Marcel Guillauhe
Systeme de Feys-von Wright • 1968
View 1 Excerpt

Provability in lopic

Stiu Kangee
Provability in lopic • 1967

309-342. la logique de premier ordre S6

Akad, U 'etensch, Afd, Letterkunde
Logique et Anelyse B • 1965

An extension algebra and the modal system T

Notre Dame Journal of Formal Logic • 1960

Time and modality

A N Pfuoe
Time and modality • 1957

An e w y in modal logic

G H Von, Wbiuht
An e w y in modal logic • 1951

A theory of formal deducibility

Notre Dame Math. Lectures • 1950

Similar Papers

Loading similar papers…