@misc{indiciaed703879738aa, title = {Modular Models for Intuitionistic Justification Logic}, author = {Michel Marti and Thomas Studer}, year = {2016}, url = {https://arxiv.org/abs/1604.07181}, note = {Source identifier: 1604.07181} }