TY  - RPRT
TI  - Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
AU  - Yuta Sato
PY  - 2025
UR  - https://arxiv.org/abs/2503.10176
ID  - 2503.10176
ER  -