Speaker: Yifeng Ding (Assistant Professor, Department of Philosophy, Peking University)

Moderator: Liying Zhang (Professor, Institute of Philosophy, Chinese Academy of Sciences)

Time: Friday, June 14, 2024, 14:30 - 16:30

Venue: Lecture Hall, Institute of Philosophy, Chinese Academy of Sciences (4th Floor, South Building, Building 4, Software Park, No. 4 Zhongguancun South Street)

Organizer: Institute of Philosophy, Chinese Academy of Sciences

Abstract:
Propositional quantification is a concise and elegant way to significantly enhance the expressive power of modal logic. For example, natural language statements such as "It is possible that everything I believe is true" can be naturally formalized using propositional quantifiers. Similarly, irreflexivity in Kripke frames, which is undefinable in standard propositional modal logic, can be easily defined with propositional quantifiers.

This talk will provide an intuitive understanding of modal logic with propositional quantifiers through specific cases and examples. It will then introduce some recent technical results in this area, focusing on decidability and axiomatic systems.

Speaker Bio:
Yifeng Ding is an Assistant Professor in the Department of Philosophy at Peking University. His primary research areas include modal logic, with a particular focus on propositional quantifiers, comparative probability, and non-standard modal logics, as well as axiomatization methods in social choice theory.

Powered by Froala Editor