Modular Models for Intuitionistic Justification Logic
classification
🧮 math.LO
cs.LO
keywords
intuitionisticlogicmodelsmodularcompletenessestablishexplicitijt4
read the original abstract
We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.