A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

DOI10.1007/978-3-662-48899-7_14zbMath1471.03035OpenAlexW2259846001MaRDI QIDQ3460054

Satoshi Tojo, Katsuhiko Sano, Shoshin Nomura

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_14

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)

A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

This page was built for publication: A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic