Tableaux for non-normal public announcement logic

DOI10.1007/978-3-662-45824-2_9MaRDI QIDQ2937396zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)