A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

Browse the full LPAR paper archive.