Speaker: Professor Zhiguang Zhao (School of Mathematics and Statistics, Taishan University)
Moderator: Associate Professor Jie Fan (Institute of Philosophy, Chinese Academy of Sciences; School of Humanities, University of Chinese Academy of Sciences)
Time: Friday, November 29, 2024, 15:00 - 17:00
Venue: Lecture Hall, Institute of Philosophy, Chinese Academy of Sciences (4th Floor, South Building, Building 4, Software Park, No. 4 Zhongguancun South Street)
Organizers: Institute of Philosophy, Chinese Academy of Sciences; School of Humanities, University of Chinese Academy of Sciences

Abstract:
Numerical comparisons in natural language combine logical and arithmetical features. There have been many attempts to integrate these comparisons into the language of first-order logic. However, the resulting logic is quite complex, making it more effective to focus on smaller languages, such as modal logic with counting, denoted as ML(#). This talk will cover the game semantics of ML(#), the axiomatization of ML(#) with respect to different frame classes, and the axiomatization of modal logic with "most".

Speaker Bio:
Professor Zhiguang Zhao is a Taishan Scholar Youth Expert and a professor at the School of Mathematics and Statistics, Taishan University. His research focuses on algebraic logic, modal logic, topological methods in logic, and modal counting logic. He has published over 30 papers in these fields.

Powered by Froala Editor