@misc{indiciaedae08b0221c0, title = {Provability interpretation of non-normal modal logics having neighborhood semantics}, author = {Haruka Kogure}, year = {2025}, url = {https://arxiv.org/abs/2511.16488}, note = {Source identifier: 2511.16488} }