Relevant epistemic logic with public announcements and common knowledge

DOI10.1093/LOGCOM/EXAC100MaRDI QIDQ5885772zbMATH OpenOpenAlexFDO

Authors Vít Punčochář, Igor Sedlár, Andrew Tedder

Publication date 30 March 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac100

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Relevant epistemic logic with public announcements and common knowledge
• `Knowable' as `known after an announcement'
• Total Public Announcements
• Public announcements for epistemic models and hypertheories
• Public announcement logic in geometric frameworks

Cited in

(11)

• Public announcements for epistemic models and hypertheories
• Relevant epistemic logic with public announcements and common knowledge
• A Hybrid Public Announcement Logic with Distributed Knowledge
• How to agree without understanding each other: public announcement logic with Boolean definitions
• Relevant reasoners in a classical world
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• Epistemic logics for relevant reasoners
• Explicit and implicit belief in first degree entailment with strict implication
• Quantified modal relevant logics. II: Welcome to the neighbourhood
• Symmetry and completeness in relevant epistemic logic
• R-Mod: minimal structural revision of \(\mathrm{S}5\) epistemic models

This page was built for publication: Relevant epistemic logic with public announcements and common knowledge

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