Probability logic
- 25 July 1969
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 34 (2) , 264-274
- https://doi.org/10.2307/2271103
Abstract
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.Keywords
This publication has 2 references indexed in Scilit:
- Formal LogicPublished by Oxford University Press (OUP) ,1963
- VIII.—THE MODAL ”PROBABLY“Mind, 1959