In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.
Your email address will not be published. Required fields are marked *
Comment *
Save my name, email, and website in this browser for the next time I comment.
Δ
In this joint paper, we connect the following four topics: a class of generalized graphs whose relations do not have […]
欢迎全校在读的本科生及硕士生申请,详情请见通知.
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 […]
今年的现代逻辑会在济南开,感谢山大的逻辑学团队,感谢PC Chair 琚凤魁,欢迎大家投稿!
From April 1st, 2022, I will join the editorial team of the Journal of Philosophical Logic as an associate editor.
I will be the director of the PKU Center of Logic, Language, and Cognition from March 2022. Many thanks to […]
Leave a Reply