46 search results - page 10 / 10 » On Decidability and Expressiveness of Propositional Interval... |
109
click to vote
NMR
2004
Springer
15 years 2 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...