TY  - RPRT
TI  - Logics Containing wK4: Selection à la Fine
AU  - Simon Santschi
AU  - Niels C. Vooijs
PY  - 2026
DO  - 10.4204/eptcs.447.38
UR  - https://arxiv.org/abs/2606.31920
ID  - 2606.31920
ER  -