Intuitionistic public announcement logic with distributed knowledge
From MaRDI portal
Publication:6562369
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)
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)