The Tree-hypersequent Method for Modal Propositional Logic

Francesca Poggiolesi

Onderzoeksoutput: Chapterpeer review

Samenvatting

In this paper we present a method, that we call tree-hypersequent method, for generating cut-free and
contraction-free sequent calculi for modal propositional logic. We show how this method works for the systems K, K4,KD and KD4.
Originele taal-2English
Titeltrends in Logic: Towards a Mathematical Philosophy
RedacteurenD. Makinson, J. Malinowski, H. Wansing
UitgeverijSpringer
Pagina's31-51
Aantal pagina's21
ISBN van geprinte versie978-1-4020-9083-7
StatusPublished - 2009

Publicatie series

NaamThe Tree-hypersequent Method for Modal Propositional Logic

Bibliografische nota

D. Makinson, J. Malinowski, H. Wansing

Citeer dit