1 paper · 1 filter
Tuomas A. Hakoniemi, Joost J. Joosten
In is paper we present a labelled tableau proof system that serves a wide class of interpretability logics. The system is proved sound and complete for any interpretability logic c…