TY  - RPRT
TI  - Tableau methodology for propositional logics
AU  - T. Jarmuzek
AU  - R. Gore
PY  - 2025
UR  - https://arxiv.org/abs/2511.16781
ID  - 2511.16781
ER  -