Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Modular Models for Intuitionistic Justification Logic
(Submitted on 25 Apr 2016)
Abstract: We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.
Link back to: arXiv, form interface, contact.