Branislav R. Boricic

Learn More
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 The central point of this short note is(More)