Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki. Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. JIP, 27:77-86, 2019. [doi]
@article{KakutaniMN19,
title = {Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic},
author = {Yoshihiko Kakutani and Yuito Murase and Yuichi Nishiwaki},
year = {2019},
doi = {10.2197/ipsjjip.27.77},
url = {https://doi.org/10.2197/ipsjjip.27.77},
researchr = {https://researchr.org/publication/KakutaniMN19},
cites = {0},
citedby = {0},
journal = {JIP},
volume = {27},
pages = {77-86},
}