Tableaux for non-normal public announcement logic

DOI10.1007/978-3-662-45824-2_9zbMATH Open1304.03047OpenAlexW13298809MaRDI QIDQ2937396FDOQ2937396

Authors: Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando Raymundo Velázquez-Quesada 

Publication date: 9 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45824-2_9

Recommendations

• Tableaux for Public Announcement Logic
• A Tableau Method for Public Announcement Logics
• Public announcement logic in geometric frameworks
• Revising a labelled sequent calculus for public announcement logic
• Subset space public announcement logic

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logics of knowledge and belief (including belief change) (03B42)

Cited In (3)

• Tableaux for Public Announcement Logic
• Recapturing dynamic logic of relation changers via bounded morphisms
• A Tableau Method for Public Announcement Logics

Uses Software

• Lotrecscheme

This page was built for publication: Tableaux for non-normal public announcement logic

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