@misc{indiciae32b1d5400790, title = {Topological semantics of conservativity and interpretability logics}, author = {Sohei Iwata and Taishi Kurahashi}, year = {2021}, doi = {10.1093/logcom/exab046}, url = {https://arxiv.org/abs/2102.02483}, note = {Source identifier: 2102.02483} }