A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

TitleA Labelled Sequent Calculus for Intuitionistic Public Announcement Logic
Publication TypeBook Chapter
Year of Publication2015
AuthorsNomura S, Sano K, Tojo S
EditorDavis M, Fehnker A, McIver A, Voronkov A
Book TitleLogic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Pagination187–202
PublisherSpringer Berlin Heidelberg
CityBerlin, Heidelberg
ISBN Number978-3-662-48899-7
URLhttp://dx.doi.org/10.1007/978-3-662-48899-7_14
DOI10.1007/978-3-662-48899-7_14
Undefined