Home» News» Seminars» Dec. 13th Talk by Prof. Meiyun Guo: Probabilistic Epistemic Logic based on neighborhood semantics

Dec. 13th Talk by Prof. Meiyun Guo: Probabilistic Epistemic Logic based on neighborhood semantics

发布日期:2022-12-10 作者:

Title: Probabilistic Epistemic Logic based on neighborhood semantics

Speaker: Prof. Meiyun Guo (Southwest University)

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

Tencent Meeting ID: 743 741 811

 

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.