Intuitionistic Justification Logic, Semantically
Advances in Modal Logic 2026, 2026
Abstract
We develop semantics for intuitionistic justification logic, prove soundness and completeness, and use modular models to establish a semantic realisation theorem.