The workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the workshop soon 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 workshop is on decidable fragments of first-order modal logic and its variants. We will update the information about the […]
博士位置:http://logic.pku.edu.cn/zsxx/bsszsfx/index.htm 博雅博士后(下一轮申请10.15结束):https://postdocs.pku.edu.cn/tzgg/101366.htm
The old site was down… I will gradually recover my site here. Sorry for the missing links in the current […]
Leave a Reply