TY  - RPRT
TI  - Non-elementary modal logics, assuming P $\neq$ NP
AU  - Tenyo Takahashi
PY  - 2026
UR  - https://arxiv.org/abs/2609.10872
ID  - 2609.10872
ER  -