Modular Models for Intuitionistic Justification Logic
Michel Marti, Thomas Studer
TL;DR
This paper introduces the logic iJT4, an explicit form of intuitionistic S4, and proves its soundness and completeness using modular models, advancing the formal understanding of intuitionistic justification logic.
Contribution
It develops the logic iJT4 and establishes its soundness and completeness with respect to modular models, providing a new framework for intuitionistic justification logic.
Findings
Proposes the logic iJT4 as an explicit version of intuitionistic S4.
Establishes soundness and completeness of iJT4.
Validates the logic with respect to modular models.
Abstract
We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Multi-Agent Systems and Negotiation