Revising a Labelled Sequent Calculus for Public Announcement Logic

DOI10.1007/978-3-662-48357-2_7zbMath1429.03066OpenAlexW2304191204MaRDI QIDQ5213671

Shoshin Nomura, Satoshi Tojo, Katsuhiko Sano

Publication date: 4 February 2020

Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (1)

Recapturing dynamic logic of relation changers via bounded morphisms

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Untersuchungen über das logische Schliessen. I
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Proof Analysis
• Tableaux for Public Announcement Logic
• Dynamic logic of preference upgrade
• Logics without the contraction rule

This page was built for publication: Revising a Labelled Sequent Calculus for Public Announcement Logic