Łukasiewicz Public Announcement Logic

DOI10.1007/978-3-319-40581-0_10MaRDI QIDQ5117203zbMATH OpenOpenAlexFDO

Authors Umberto Rivieccio, Leonardo Manuel Cabrer, Ricardo Rodriguez

Publication date 20 August 2020

Published in Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40581-0_10

zbMATH Keywords

MV-algebrasepistemic logicsŁukasiewicz modal logicpublic announcements logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) MV-algebras (06D35)

Recommendations

• Bilattice public announcement logic
• Public announcement logic in HOL
• Public announcements, public assignments and the complexity of their logic
• Logic of questions and public announcements
• A public announcement separation logic
• Public announcement logic with distributed knowledge
• Tableaux for Public Announcement Logic
• On axiomatizations of public announcement logic
• scientific article; zbMATH DE number 6863640
• Public announcement logic in geometric frameworks

Cites work

• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Algebraic foundations of many-valued reasoning
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Bilattice public announcement logic
• Epistemic updates on algebras
• Logical dynamics of information and interaction
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(5)

• Bilattice public announcement logic
• Bilattice logic of epistemic actions and knowledge
• Graded epistemic logic with public announcement
• Situated epistemic updates
• Relevant epistemic logic with public announcements and common knowledge

This page was built for publication: Łukasiewicz Public Announcement Logic

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