Labelled tree sequents, tree hypersequents and nested (Deep) sequents

R. Goré, R. Ramanayake

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
33 Downloads (Pure)
Original languageEnglish
Title of host publicationAdvances in Modal Logic
Pages279-299
Number of pages21
Publication statusPublished - 2014
Externally publishedYes

Cite this