Intuitionistic public announcement logic with distributed knowledge

DOI10.1007/S11225-023-10066-1MaRDI QIDQ6562369FDOQ6562369

Authors: Ryo Murai, Katsuhiko Sano 

Publication date: 26 June 2024

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

public announcement logicdistributed knowledgeintuitionistic epistemic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A bi-intuitionistic modal logic: foundations and automation
• On axiomatizations of public announcement logic
• On some intuitionistic modal logics
• Title not available (Why is that?)
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
• What can machines know?
• Title not available (Why is that?)
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Title not available (Why is that?)
• Group announcement logic with distributed knowledge
• Resolving distributed knowledge
• Simpler completeness proofs for modal logics with intersection
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6--9, 2020. Proceedings
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
• Title not available (Why is that?)

This page was built for publication: Intuitionistic public announcement logic with distributed knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562369)