| Original language | English |
|---|---|
| Title of host publication | Advances in Modal Logic |
| Pages | 279-299 |
| Number of pages | 21 |
| Publication status | Published - 2014 |
| Externally published | Yes |
Labelled tree sequents, tree hypersequents and nested (Deep) sequents
R. Goré, R. Ramanayake
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
28
Citations
(Scopus)
33
Downloads
(Pure)