TY  - RPRT
TI  - Some constructive variants of S4 with the finite model property
AU  - Philippe Balbiani
AU  - Martín Diéguez
AU  - David Fernández-Duque
PY  - 2021
UR  - https://arxiv.org/abs/2104.15053
ID  - 2104.15053
ER  -