TY  - RPRT
TI  - Provability interpretation of non-normal modal logics having neighborhood semantics
AU  - Haruka Kogure
PY  - 2025
UR  - https://arxiv.org/abs/2511.16488
ID  - 2511.16488
ER  -