报告人：李大柱

题目：Modal-logical Mereology

摘要：In this talk, by using a propositional modal language extended with the window modality, we capture the first-order properties of various mereology theories. In this setting, *› reads all my parts satisfy ›, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereology theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system of mereology by providing a new construction of the canonical model. We hope this modal approach can open a new direction to mereology theories.

时间：10月27日 15:00-18:00

地点：二教413