Simple probabilistic semantics for propositional k, t, b, s4, and S

Journal of Philosophical Logic 11 (4):443 - 458 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00284979

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
The Logic of What Might Have Been.Nathan Salmon - 1989 - Philosophical Review 98 (1):3-34.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
The Decidability of Dependency in Intuitionistic Propositional Logi.Dick De Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498 - 504.
Completeness of second-order propositional s4 and H in topological semantics.Philip Kremer - 2018 - Review of Symbolic Logic 11 (3):507-518.
On the logic of viewpoints.Antti Hautamaki - 1982 - Bulletin of the Section of Logic 11 (1-2):13-14.

Analytics

Added to PP
2009-01-28

Downloads
45 (#343,640)

6 months
9 (#437,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Morgan
University of Pennsylvania

Citations of this work

Weak Conditional Comparative Probability as a Formal Semantic Theory.Charles G. Morgan - 1984 - Mathematical Logic Quarterly 30 (13-16):199-212.

Add more citations

References found in this work

The Logic of Scientific Discovery.K. Popper - 1959 - British Journal for the Philosophy of Science 10 (37):55-57.

Add more references