Modular Models for Intuitionistic Justification Logic

2016/04/25 by Michel Marti, Marti, Michel, Thomas Studer +1
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1604.07181

openalex publication_date 2016/04/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.

Related

• Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
• Some constructive variants of S4 with the finite model property
• Intuitionistic modal logic LIK4 is decidable
• A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
• Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability