A deep inference system for the modal logic $\mathsf S5$

TitleA deep inference system for the modal logic $\mathsf S5$
Publication TypeJournal Article
Year of Publication2007
AuthorsStouppa, P
JournalStudia Logica
Volume85
Pagination199-214
URLhttp://www.iam.unibe.ch/ltgpub/2007/sto07.pdf
DOI10.1007/s11225-007-9028-y