Probabilistic logic of quantum observations. - Amílcar Sernadas; João Rasga; Cristina Sernadas; Luís Alcácer; Alfredo Barbosa Henriques (Log. J. IGPL, 2019)