Satoru Suzuki. Intuitionistic-Bayesian Semantics of First-Order Logic for Generics. In Mehdi Dastani, Huimin Dong, Leon van der Torre, editors, Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings. Volume 12061 of Lecture Notes in Computer Science, pages 184-200, Springer, 2020. [doi]
Abstract is missing.