TY  - RPRT
TI  - The Internal Modal Logic of Forcing
AU  - Santiago Jockwich
AU  - Sourav Tarafder
AU  - Giorgio Venturi
PY  - 2026
UR  - https://arxiv.org/abs/2607.25977
ID  - 2607.25977
ER  -