Deep Sequent Systems for Modal Logic

TitleDeep Sequent Systems for Modal Logic
Publication TypeJournal Article
Year of Publication2009
AuthorsBrünnler, K
JournalArchive for Mathematical Logic
Volume48
Pagination551-577
URLhttp://www.iam.unibe.ch/ltgpub/2009/bru09.pdf
DOI10.1007/s00153-009-0137-3