Regular Events
2024 Feb 29 16:00-17.30 Jun Zhang (University of Michigan Ann Arbor & Shanghai Institute for Mathematics and Interdisciplinary Sciences) Cognitive Core of Mathematical Reasoning: Some Thoughts
My talk will explore a common foundation for mathematical reasoning and for their underlying cognitive processes. Starting from counting and spatial reasoning as two core developmental domains of mathematical cognition, I will discuss how the notion of object can be characterized by “concept lattice” (as in Formal Concept Analysis of Ganter and Wille 1999), and how the structure of knowledge can be captured by “knowledge space” …More>>
2024 Feb 29 14:00-15.30 Penghao Du (Tsinghua University) Modal Logics of Definable Link Variations: Characterization and Satisfiability
Link variations, including link cutting, adding and rotating, are critical updating process on graphs, which play important roles in graph reasoning. Undefinable link variations and their logics have been widely studied. In [Li, 2020], Li introduced a modal logic, LLD, designed for definable link cutting. In this talk, following LLD, I will propose the logics LLA, LLR, and LLV, which respectively address definable link adding, rotating, and combinations of dynamic operations on graphs. Van Benthem-style characterization theorems…More>>