TY  - RPRT
TI  - The Modal Logic of Provability and Forcing
AU  - Taishi Kurahashi
AU  - Rihito Takase
PY  - 2023
UR  - https://arxiv.org/abs/2311.00581
ID  - 2311.00581
ER  -