< Terug naar vorige pagina
Publicatie
A cut-free simple sequent calculus for modal logic S5
Tijdschriftbijdrage - Tijdschriftartikel
In this paper, we present a simple sequent calculus for the modal propositional logic
S5.We prove that this sequent calculus is theoremwise equivalent to the Hilbert-style system S5, that
it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely
syntactic way.
S5.We prove that this sequent calculus is theoremwise equivalent to the Hilbert-style system S5, that
it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely
syntactic way.
Tijdschrift: Review of Symbolic Logic
ISSN: 1755-0203
Volume: 1
Pagina's: 3-15
Jaar van publicatie:2008
Trefwoorden:S5, hypersequents