Cut-free systems for the modal logic (0)

by T Shimura
Venue:S4.3 and S4.3GRZ, Reports on Mathematical Logic