Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-25T19:19:57.699Z 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 access Rights & Permissions [Opens in a new window]

Extract

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

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.)

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