@misc{indiciaea3267188492b, title = {Kamide is in America, Moisil and Leitgeb are in Australia}, author = {Satoru Niki and Hitoshi Omori}, year = {2024}, doi = {10.4204/eptcs.415.17}, url = {https://arxiv.org/abs/2501.00495}, note = {Source identifier: 2501.00495} }