On Possible Worlds in Propositional Calculi

Theoria 34 (3):171-182 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1968.tb00349.x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

External links

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

A Note On Probabilistic Validity Measure In Propositional Calculi.Branislav Boricic - 1995 - Logic Journal of the IGPL 3 (5):721-724.
R. A. Bull. An approach to tense logic. Theoria, vol. 36 , pp. 282–300.Nino Cocchiarella - 1974 - Journal of Symbolic Logic 39 (1):173.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
Rosser J. B. and Turquette A. R.. A note on the deductive completeness of m-valued propositional calculi. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 15 (2):137-138.
Pseudo-referential matrix semantics for propositional logics.Grzegorz Malinowski - 1983 - Bulletin of the Section of Logic 12 (3):90-96.
Constructing possible worlds.Aarne Ranta - 1991 - Theoria 57 (1-2):77-99.
Possible worlds semantics for belief sentences.Joe Lau - 1997 - In Logica Yearbook.
Harrop R.. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 , pp. 1–13. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.

Analytics

Added to PP
2010-09-13

Downloads
48 (#453,387)

6 months
9 (#460,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Identity and intensional objects.M. J. Cresswell - 1975 - Philosophia 5 (1-2):47-68.

Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Modality and quantification in S5.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.

Add more references