题目：Hintikka meets Plato：an epistemic adventure of Ǝ▢
摘要：In this talk, I will survey some of my recent work involving the bundle modality that packs an existential quantifier Ǝ and a modality ▢ together. In the epistemic setting, this modality merges the definitions of knowledge in different traditions and is actually the key to the formal treatment of the de reknowledge expressed by knowing how/why/what. Besides the mathematical advantages, the bundle modality also provides us a new looking glass through which we can discover surprising new connections, as demonstrated by applications to non-classical logic and AI.
(The talk will be in English. No background in logic is required.)