Deep sequent systems for modal logic

TitleDeep sequent systems for modal logic
Publication TypeConference Paper
Year of Publication2006
AuthorsBrünnler, K
EditorGovernatori, G, Hodkinson, I, Venema, Y
Conference NameProceedings of Advances in Modal Logic
Pagination107-119
PublisherCollege Publications
URLhttp://www.iam.unibe.ch/ltgpub/2006/bru06c.pdf