Taishi Kurahashi. Rosser Provability and Normal Modal Logics. Studia Logica, 108(3):597-617, 2020. [doi]
@article{Kurahashi20, title = {Rosser Provability and Normal Modal Logics}, author = {Taishi Kurahashi}, year = {2020}, doi = {10.1007/s11225-019-09865-2}, url = {https://doi.org/10.1007/s11225-019-09865-2}, researchr = {https://researchr.org/publication/Kurahashi20}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {108}, number = {3}, pages = {597-617}, }