Modular Models for Intuitionistic Justification Logic
Logic
2016-04-26 v1 Logic in Computer Science
Abstract
We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.
Keywords
Cite
@article{arxiv.1604.07181,
title = {Modular Models for Intuitionistic Justification Logic},
author = {Michel Marti and Thomas Studer},
journal= {arXiv preprint arXiv:1604.07181},
year = {2016}
}