Vol-2094⫷ Vol-2095 ⫸Vol-2096
urn:nbn:de:0074-2095-0


Vol-2095/paper1⫷Vol-2095/paper2⫸Vol-2095/paper3

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