Hostname: page-component-7b7567c8c-tnzcf Total loading time: 0 Render date: 2026-11-14T08:04:30.905Z Has data issue: false hasContentIssue false
  • English
  • Français

Probability logic

Published online by Cambridge University Press:  12 March 2014

John P. Burgess
John P. Burgess*
Affiliation:
Princeton University
Get accessRights & Permissions [Opens in a new window]

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
Information
The Journal of Symbolic Logic , Volume 34 , Issue 2 , 25 July 1969, pp. 264 - 274
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. 234–240.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. 373–374.Google Scholar