TY  - RPRT
TI  - There are only countably many locally tabular bi-intermediate logics of co-trees
AU  - Miguel Martins
PY  - 2026
UR  - https://arxiv.org/abs/2602.21960
ID  - 2602.21960
ER  -