On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge

DOI10.1007/978-3-030-88708-7_18OpenAlexW3202983882MaRDI QIDQ2148837

Ryo Murai, Youan Su, Katsuhiko Sano

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_18

zbMATH Keywords

sequent calculusintuitionistic logicCraig interpolationepistemic logicdistributed knowledgeBHK interpretation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Resolving distributed knowledge
• Group knowledge is not always distributed (neither is it always implicit)
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• Simpler completeness proofs for modal logics with intersection
• Craig interpolation of epistemic logics with distributed knowledge
• First-order intuitionistic epistemic logic
• Proof Theory for Distributed Knowledge
• Distributed knowledge
• What can machines know?
• Group Belief
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Modal Logics Between S 4 and S 5
• Typed Lambda Calculi and Applications
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge