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

(5)

• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Epistemic logics for relevant reasoners
• Relevant reasoners in a classical world
• Relevant epistemic logic with public announcements and common knowledge

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)