Intuitionistic public announcement logic with distributed knowledge
From MaRDI portal
(Redirected from Publication:6562369)
Cites work
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- scientific article; zbMATH DE number 6863640 (Why is no real title available?)
- scientific article; zbMATH DE number 6863657 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- A Hybrid Public Announcement Logic with Distributed Knowledge
- A bi-intuitionistic modal logic: foundations and automation
- A labelled sequent calculus for intuitionistic public announcement logic
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Group 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
- On axiomatizations of public announcement logic
- On some intuitionistic modal logics
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Resolving distributed knowledge
- Simpler completeness proofs for modal logics with intersection
- What can machines know?
Cited in
(2)
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)
