Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri. Frequentist Probability Logic. In Alessandro Aldini, editor, Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Volume 14568 of Lecture Notes in Computer Science, pages 54-71, Springer, 2023. [doi]
Abstract is missing.