- Full text PDF available (3)
By using the Maehara method a proof that the intuitionistic analogue of the Lewis modal system S4 has both Craig and the Lyndon interpolation property is presented.
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)