 | Up a level |
Fitting, Melvin; Kuznets, Roman (2015). Modal interpolation via nested sequents. Annals of pure and applied logic, 166(3), pp. 274-305. Elsevier 10.1016/j.apal.2014.11.002
Lehmann, Eveline; Studer, Thomas (2021). Exploring Subset Models for Justification Logic. In: Fitting, Melvin (ed.) Selected Topics from Contemporary Logics. London: College Publications
