TY  - RPRT
TI  - Arithmetical completeness for some extensions of the pure logic of necessitation
AU  - Haruka Kogure
PY  - 2025
UR  - https://arxiv.org/abs/2409.00938
ID  - 2409.00938
ER  -