Modular Sequent Systems for Modal Logic

TitleModular Sequent Systems for Modal Logic
Publication TypeConference Paper
Year of Publication2009
AuthorsBrünnler, K, Straßburger, L
EditorGiese, M, Waaler, A
Conference NameTableaux 2009
PublisherSpringer-Verlag
URLhttp://www.iam.unibe.ch/ltgpub/2009/bs09c.pdf
DOI10.1007/978-3-642-02716-1_12