@misc{indiciae8d5b379ea134,
  title = {Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle},
  author = {Yuta Sato},
  year = {2025},
  url = {https://arxiv.org/abs/2503.10176},
  note = {Source identifier: 2503.10176}
}