Paulo A. S. Veloso, Sheila R. M. Veloso. On Graphs for Intuitionistic Modal Logics. Electronic Notes in Theoretical Computer Science, 323:215-233, 2016. [doi]
@article{VelosoV16,
title = {On Graphs for Intuitionistic Modal Logics},
author = {Paulo A. S. Veloso and Sheila R. M. Veloso},
year = {2016},
doi = {10.1016/j.entcs.2016.06.014},
url = {http://dx.doi.org/10.1016/j.entcs.2016.06.014},
researchr = {https://researchr.org/publication/VelosoV16},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {215-233},
}