Knowledge, Proof and Dynamics
2020
Proof Theory and Algebra in Logic
2019
Philosophical Logic: Current Trends in Asia
2017
Modality, Semantics and Interpretations
2015
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Interval / Probabilistic Uncertainty and Non-classical Logics
2008