Further Results on Tree-Hypersequent Calculi
Tree-hypersequent calculi have several characteristics in addition to those presented above; the object of this chapter is to provide an overview of them. Specifically, in the first section, we will explore the link between tree-hypersequent calculi and display calculi. In this way we will supplement Table 5.4, p. 116. In the second section we will mention logics to which the tree-hypersequent method has been applied that are not modal logics. We will bring our analysis to a close by suggesting further developments employing the framework of tree-hypersequent calculi.
- 26.A. Ciabattoni, L. Strassburger, and K. Terui. Expanding the realm of systematic proof theory. In E. Grädel and R. Kahle, editors, Lectures Notes in Computer Science, pp. 163–178. Springer, Berlin-Heidelberg, 2009.Google Scholar