TY  - RPRT
TI  - Labelled tableaux for interpretability logics
AU  - Tuomas A. Hakoniemi
AU  - Joost J. Joosten
PY  - 2016
UR  - https://arxiv.org/abs/1605.05612
ID  - 1605.05612
ER  -