Tatsuya Shimura Cut-free Systems for some Modal Logics Containing S4. 39-65 1992 26 Reports Math. Log. db/journals/rml/rml26.html#Shimura92