TY  - RPRT
TI  - A Henkin-style completeness proof for the modal logic S5
AU  - Bruno Bentzen
PY  - 2021
DO  - 10.1007/978-3-030-89391-0_25
UR  - https://arxiv.org/abs/1910.01697
ID  - 1910.01697
ER  -