Skip to Main content Skip to Navigation
Book sections

The Method of Tree-hypersequents for Modal Propositional Logic

Abstract : In this paper we present a method, that we call the tree-hypersequent method, for generating contraction-free and cut-free sequent calculi for modal propositional logics. We show how this method works for the systems K, KD, K4 and KD4, by giving a sequent calculus for these systems which are normally presented in the Hilbert style, and by proving all the main results in a purely syntactical way.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Francesca Poggiolesi Connect in order to contact the contributor
Submitted on : Thursday, September 6, 2018 - 4:19:40 PM
Last modification on : Friday, October 15, 2021 - 1:39:34 PM
Long-term archiving on: : Friday, December 7, 2018 - 6:50:56 PM


BookChapter-Springer 2009.pdf
Files produced by the author(s)




Francesca Poggiolesi. The Method of Tree-hypersequents for Modal Propositional Logic. David Makinson, Jacek Malinowski, Heinrich Wansing. Towards Mathematical Philosophy, 28, Springer, pp.31-51, 2009, Trends in logic, 978-1-4020-9083-7. ⟨10.1007/978-1-4020-9084-4_3⟩. ⟨halshs-00775815⟩



Record views


Files downloads