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

R. Goré, R. Ramanayake

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

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

Cite this