Tableaux for Non-normal Public Announcement Logic

DOI10.1007/978-3-662-45824-2_9zbMath1304.03047OpenAlexW13298809MaRDI QIDQ2937396

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

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

Related Items

Recapturing dynamic logic of relation changers via bounded morphisms

Uses Software

• Lotrecscheme