Revising a Labelled Sequent Calculus for Public Announcement Logic

Revising a Labelled Sequent Calculus for Public Announcement Logic

TitleRevising a Labelled Sequent Calculus for Public Announcement Logic
Publication TypeBook Chapter
Year of Publication2016
AuthorsNomura S, Sano K, Tojo S
EditorYang SChin-Mu, Deng D-M, Lin H
Book TitleStructural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium
Pagination131–157
PublisherSpringer Berlin Heidelberg
CityBerlin, Heidelberg
ISBN Number978-3-662-48357-2
URLhttp://dx.doi.org/10.1007/978-3-662-48357-2_7
DOI10.1007/978-3-662-48357-2_7
Undefined