Title: Probabilistic Epistemic Logic based on neighborhood semantics

Speaker: Prof. Meiyun Guo (Southwest University)

Time: 15:10 ~ 18:00  (Dec. 13th)

Abstract: In this talk, we will introduce our ongoing work on Probabilistic Epistemic Logic based on neighborhood semantics. Starting with the lottery paradox we will give a logical system for reasoning the interactions of the probability and belief operators. After discussing the weak completeness of our axiomatic system, we will show how the lottery paradox could be solved in our logical frameworks.