Hostname: page-component-cb9f654ff-w5vf4 Total loading time: 0 Render date: 2025-08-21T15:22:30.915Z Has data issue: false hasContentIssue false

Probability logic

Published online by Cambridge University Press:  12 March 2014

John P. Burgess*
Affiliation:
Princeton University

Extract

In this paper we introduce a system S5U, formed by addingto the modal system S5 a new connective U, Up being read“probably”. A few theorems are derived in S5U, and thesystem is provided with a decision procedure. Several decidable extensionsof S5U are discussed, and probability logic is related toplurality quantification.

Information

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

[1] Feys, R., Modal logics, E. Nauwelaerts, Louvain, 1965.Google Scholar
[2] Hamblin, C. L., The modal “probably”, Mind, vol. 68 (1959), pp. 234240.Google Scholar
[3] Prior, A. N., Formal logic, Oxford University Press, London, 1955.Google Scholar
[4] Quine, W. V., Methods of logic, Holt, New York, 1964.Google Scholar
[5] Rescher, N., Plurality quantification, this Journal , vol. 27 (1962), pp. 373374.Google Scholar