Relevant epistemic logic with public announcements and common knowledge

DOI10.1007/978-3-030-89391-0_19OpenAlexW3207263158MaRDI QIDQ2695524

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

Publication date: 31 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-89391-0_19

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Inquisitive dynamic epistemic logic
• A relevant logic of questions
• Dynamic epistemic logic
• Propositional inquisitive logic: a survey
• Handbook of philosophical logic. Vol. 6
• Inquisitive dynamic epistemic logic in a non-classical setting
• Situated epistemic updates
• A four-valued dynamic epistemic logic
• Epistemic extensions of modal distributive substructural logics
• Epistemic logics for sceptical agents
• Substructural epistemic logics
• Inquisitive Semantics
• Łukasiewicz Public Announcement Logic
• Epistemic extensions of substructural inquisitive logics
• SUBSTRUCTURAL INQUISITIVE LOGICS