TY  - RPRT
TI  - T-BAT semantics and its logics
AU  - Pawel Pawlowski
PY  - 2025
DO  - 10.2143/lea.264.0.3294241}{10.2143/lea.264.0.3294241
UR  - https://arxiv.org/abs/2510.14361
ID  - 2510.14361
ER  -