Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
The method of tree-hypersequents for modal propositional logic
pp. 31-51
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.
Publication details
Published in:
Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.
Pages: 31-51
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4020-9084-4_3
Full citation:
Poggiolesi Francesca (2009) „The method of tree-hypersequents for modal propositional logic“, In: D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, 31–51.


