An intuitionistic logic with probabilistic operators

Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic
2003 Publications de l'Institut Mathématique (Beograd)  
doi:10.2298/pim0373031m fatcat:343qro5ba5hsblfdy72q26w5uu