TY  - RPRT
TI  - Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
AU  - Taishi Kurahashi
PY  - 2025
UR  - https://arxiv.org/abs/2407.00505
ID  - 2407.00505
ER  -