TY  - RPRT
TI  - Tabular intermediate logics comparison
AU  - Paweł Rzążewski
AU  - Michał Stronkowski
PY  - 2025
DO  - 10.1007/978-3-031-99536-1_20
UR  - https://arxiv.org/abs/2509.06841
ID  - 2509.06841
ER  -