Other Activities
Listed below are some selected talks, details about peer reviewing and a list of my co-authors.
Other Activities
Listed below are some selected talks, details about peer reviewing and a list of my co-authors.
Selected Talks
A Sound and Complete Axiomatization for Intuitionistic Temporal Logic
Presented at: International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, 2024
Intuitionistic Master Modality
Presented at: Advances in Modal Logic, Prague, 2024
An Ill-Founded Proof System for Intuitionistic Linear-Time Temporal Logic
Presented at: Swiss Logic Gathering, Schwarzsee, 2023
An Analytic Proof System for Common Knowledge Logic over S5
Presented at: Advances in Modal Logic, Rennes, 2022
Review
I have reviewed for several journals and conferences, including Annals of Pure and Applied Logic, Studia Logica, Advances in Modal Logic, Reasoning with Analytic Tableaux and Related Methods and Logic Journal of the IGPL.
Co-Authors
Jan M.W. Rooduijn
Yunsong Wang