A Note on Probabilistic Validity Measure in Propositional Calculi BRANISLAV BORI
Download:
|
|
unknown authors
http://www.dcs.kcl.ac.uk/journals/IGPL/V3-5/Boricic.ps.gz
Add To MetaCart
Abstract:
The propositional language extended by two families of unary propositional probability operators and the corresponding list of probability measure axioms concerning those operators is the basis of the system preseted here. We describe a Kripke-type possible worlds semantics covering such a kind of logical systems. 1
Citations
| 2 | Probability quantifiers', in Model-Theoretic Logics – Keisler - 1985 |
| 1 | On probabilistic validity measure in some propositional calculi – Borici'c |
