Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec. Theory and application of labelling techniques for interpretability logics. Math. Log. Q., 68(3):352-374, 2022. [doi]
@article{GorisBJM22,
title = {Theory and application of labelling techniques for interpretability logics},
author = {Evan Goris and Marta Bílková and Joost J. Joosten and Luka Mikec},
year = {2022},
doi = {10.1002/malq.202200015},
url = {https://doi.org/10.1002/malq.202200015},
researchr = {https://researchr.org/publication/GorisBJM22},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {68},
number = {3},
pages = {352-374},
}