A Cut-Free Gentzen-Type System for the Modal Logic S5

@article{Sato1980ACG,
  title={A Cut-Free Gentzen-Type System for the Modal Logic S5},
  author={Masahiko Sato},
  journal={J. Symb. Log.},
  year={1980},
  volume={45},
  pages={67-84}
}