Masahiko Sato. A Cut-Free Gentzen-Type System for the Modal Logic S5. Journal of Symbolic Logic, 45(1):67-84, 1980.
@article{Sato80, title = {A Cut-Free Gentzen-Type System for the Modal Logic S5}, author = {Masahiko Sato}, year = {1980}, tags = {modal logic, type system, logic}, researchr = {https://researchr.org/publication/Sato80}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {45}, number = {1}, pages = {67-84}, }