T
📝 描述
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
⭐ 用户评价
暂无评价