TY  - RPRT
TI  - Cut--free sequent calculus and natural deduction for the tetravalent modal logic
AU  - Martín Figallo
PY  - 2021
UR  - https://arxiv.org/abs/2101.09724
ID  - 2101.09724
ER  -