TY  - RPRT
TI  - Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations
AU  - Zhicheng Chen
PY  - 2026
UR  - https://arxiv.org/abs/2607.20221
ID  - 2607.20221
ER  -