Thomas F. Icard III, Joost J. Joosten. Provability and Interpretability Logics with Restricted Realizations. Notre Dame Journal of Formal Logic, 53(2):133-154, 2012. [doi]
@article{IcardJ12,
title = {Provability and Interpretability Logics with Restricted Realizations},
author = {Thomas F. Icard III and Joost J. Joosten},
year = {2012},
url = {http://projecteuclid.org/euclid.ndjfl/1336588246},
researchr = {https://researchr.org/publication/IcardJ12},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {53},
number = {2},
pages = {133-154},
}