TY  - RPRT
TI  - Revisiting the proof theory of Classical S4
AU  - Bruno Lopes
AU  - Cecília Englander
AU  - Fernanda Lobo
AU  - Marcela Cruz
PY  - 2015
UR  - https://arxiv.org/abs/1211.0242
ID  - 1211.0242
ER  -