The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the workshop here.
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.
Δ
The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.
Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.
Here is the preliminary page.
Yipu Li and Yanjing Wang: Epistemic Syllogistic: First Steps. To appear in Proceedings of TARK Zilu Wang and Yanjing Wang: […]
We gave an almost complete terrain on the decidability of all the bundled fragments of first-order modal logic in this […]
The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, […]
ESSLLI 2023 WORKSHOP on First-order Modal and Temporal Logics: State of the art and perspectives (FOMTL 2023) LICS-affiliated Workshop on The Decision Problem in […]
In this joint paper, we connect the following four topics: a class of generalized graphs whose relations do not have […]
欢迎全校在读的本科生及硕士生申请，详情请见通知.
In this paper, following the early steps of Burgess in the 80s, we axiomatize tense logics over (variants of) lattices.
Leave a Reply