1. Joosten, J., Mas Rovira, J., Mikec, L., Vuković, M.: An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics. In: Hansson, S.O., et al. (eds.) Dick de Jongh on Intuitionistic and Provability Logic. Outstanding Contributions to Logic, Springer. To appear (2023) Preprint available at https://arxiv.org/abs/2007.04722. Accessed 16 Feb 2023
2. Kurahashi, T., Okawa, Y.: Modal completeness of sublogics of the interpretability logic IL. Math. Log. Q. 67, 164–185 (2021)
3. Horvat, S., Perkov, T., Vuković, M.: Bisimulations and bisimulation games between Verbrugge models. Mathematical Logic Quarterly. To appear (2023)
4. Mikec, L., Perkov, T., Vuković, M.: Decidability of interpretability logics ILM$$_0$$ i ILW*. Log. J. IGPL 25, 758–772 (2017)
5. Mikec, L., Vuković, M.: Interpretability logics and generalized Veltman semantics. J. Symb. Log. 85, 749–772 (2020)