In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.

In this joint paper, we basically map the terrain of the (un)decidability of various (generalizations of) bundled fragments of first-order […]

Our joint paper on the epistemic interpretation of tensor disjunction is accepted at this year’s Advances in Modal Logic. This […]

This is the beginning of a series of works by Haoyu, Yunsong, and me looking at non-classical logics from an […]

The joint paper with Dazhu Li is about using modal logic to capture the usual mereology theories. It has been […]