TY  - RPRT
TI  - Constructive S4 modal logics with the finite birelational frame property
AU  - Philippe Balbiani
AU  - Martín Diéguez
AU  - David Fernández-Duque
AU  - Brett McLean
PY  - 2026
UR  - https://arxiv.org/abs/2403.00201
ID  - 2403.00201
ER  -