TY  - RPRT
TI  - Assuring and critical labels for relations between maximal consistent sets for interpretability logics
AU  - Evan Goris
AU  - Marta Bílková
AU  - Joost J. Joosten
AU  - Luka Mikec
PY  - 2022
UR  - https://arxiv.org/abs/2003.04623
ID  - 2003.04623
ER  -