A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

TitleA Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
Publication TypeBook Chapter
Year of Publication2016
AuthorsNomura S, Ono H, Sano K
EditorArtemov S, Nerode A
Book TitleLogical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Pagination283–298
PublisherSpringer International Publishing
CityCham
ISBN Number978-3-319-27683-0
URLhttp://dx.doi.org/10.1007/978-3-319-27683-0_20
DOI10.1007/978-3-319-27683-0_20
Undefined