EasyChair Smart Slide
A Simple Semi-automated Proof Assistant for First-order Modal Logics
A Simple Semi-automated Proof Assistant for First-order Modal Logics