Dynamic hypersequents for public announcement logic

DOI10.1017/S175502032610121XMaRDI QIDQ7357610zbMATH OpenFDO

Authors Clara Lerouvillois, Francesca Poggiolesi

Publication date 25 September 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S175502032610121X

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• A cut-free simple sequent calculus for modal logic S5
• A proof-theoretic semantic analysis of dynamic epistemic logic
• A Tableau Method for Public Announcement Logics
• Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
• Craig interpolation via hypersequents
• Epistemic Actions as Resources
• From single agent to multi-agent via hypersequents
• Grafting hypersequents onto nested sequents
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• Multicomponent proof-theoretic method for proving interpolation properties
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• Revising a labelled sequent calculus for public announcement logic
• Tableaux for Public Announcement Logic
• The logic of public announcements, common knowledge, and private suspicions

This page was built for publication: Dynamic hypersequents for public announcement logic

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