Activity

[CT, 2026] Craig Interpolation for Subgeometric Logics. [slides]

[ItaCa, 2026] The Pro-Etale site of First-Order Logic. [slides]

[PSSL, 2026] Synthetic Quasi-Coherence for Coherent Theories: An Application to Arithmetic and Computability. [slides]

[CLHC, 2024] Stack Representation of Finitely Presented Heyting Pretoposes. [slides]

[PSSL, 2024] Incompleteness via Universal Property of Arithmetic. [slides]

[NCL, 2023] Diagonalisation and Well-Founded Naming. [slides]

[LiCS2023, 2023] Categorical Structures in Theory of Arithmetic. [slides]

[ACT2022, 2022] Unification of Modal Logic via Category Theory. [slides] [video]

[Tsinghua, 2020] Duality in Logic and Vector Space. [slides]

[AWPL, 2020] Towards a Relational Treating of Language and Logical Systems. [slides]

[DutchCAT, 2024] Stack Representation of First-order Intuitionistic Theories.

[Logic@GU, 2024] Stack Representation of First-order Intuitionistic Theories.

[DutchCAT, 2024] Categorical Structures in Theory of Arithmetic. [slides]

[LLAMA, 2023] Towards Functorial Model Theory. [slides]

[DutchCAT, 2022] Model-Theoretic Origin of Profinite Integers. [slides]

[LIRa, 2022] Unification of Semantics of Modal Logic. [slides]

[Pecking, 2021] Categories Are the Right Land for (Mathematical) Logic.

[Tsinghua, 2021] Uniformity, Contingency, and Self-reference in Arithmetic. [slides]