Time: 2024/04/23 15:10-18:00

Location: Room 313, Teaching Building No.2 (第二教学楼), Peking University

Speaker：Zhiguang Zhao (Taishan University) & Xiaoxuan Fu (China University of Political Science and Law)

Title：Modal Logic with Counting

Abstract：

　　Numerical comparisons in natural language combine logical and arithmetical features. Numerous attempts have been made to integrate these aspects with the language of first-order logic. However, the resulting logic often becomes overly complex. Therefore, it is better to look into some small languages such as modal logic with counting ML(#) (see van Benthem & Icard 2021). In this talk, we will discuss different aspects of modal logic with counting, including definability results, dynamic aspects, game semantics, axiomatization as well as the axiomatization of its fragment "modal logic with ‘most’".