TY  - RPRT
TI  - On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
AU  - Maciej A. Hałapacz
PY  - 2026
DO  - 10.4204/eptcs.455.2
UR  - https://arxiv.org/abs/2610.40800
ID  - 2610.40800
ER  -