Intuitionistic modal logics: epistemic reasoning with distributed knowledge

2025/09/16 by Philippe Balbiani, Balbiani, Philippe
Computer Science · #FOS: Computer and information sciences #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.2509.13038

openalex publication_date 2025/09/16 · openalex created_date 2025/10/18 · openalex updated_date 2026/07/28

Abstract

In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and Protopopescu. The main results of this article are the proofs of completeness with respect to their appropriate relational semantics of the resulting intuitionistic doxastic logic and intuitionistic epistemic logic with distributed knowledge.

Citations

• Intuitionistic modal logics: a minimal setting
• Local Intuitionistic Modal Logics and Their Calculi
• A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
• Simpler completeness proofs for modal logics with intersection
• Constructive modal logics I

Related

• Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
• Semantical Analysis of Intuitionistic Modal Logics between CK and IK
• Collapsing Constructive and Intuitionistic Modal Logics
• A Proof-theoretic Semantics for Intuitionistic Linear Logic
• Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)