@misc{indiciae0c04922c9825, title = {Subset models for justification logic}, author = {Eveline Lehmann and Thomas Studer}, year = {2020}, url = {https://arxiv.org/abs/1902.02707}, note = {Source identifier: 1902.02707} }