Łukasiewicz Public Announcement Logic
From MaRDI portal
Publication:5117203
DOI10.1007/978-3-319-40581-0_10zbMATH Open1455.03017OpenAlexW2493694570MaRDI QIDQ5117203FDOQ5117203
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
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
Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) MV-algebras (06D35)
Cites Work
- The logic of public announcements, common knowledge, and private suspicions
- Algebraic foundations of many-valued reasoning
- Logical dynamics of information and interaction
- Extending maps to profinite completions in finitely generated quasivarieties
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Bilattice public announcement logic
- Epistemic updates on algebras
Cited In (5)
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)
