TY  - RPRT
TI  - Topological semantics of conservativity and interpretability logics
AU  - Sohei Iwata
AU  - Taishi Kurahashi
PY  - 2021
DO  - 10.1093/logcom/exab046
UR  - https://arxiv.org/abs/2102.02483
ID  - 2102.02483
ER  -