Pages that link to "Item:Q3887437"

The following pages link to A cut-free Gentzen-type system for the modal logic S5 (Q3887437):

Displaying 7 items.

• A cut-free sequential system for the propositional modal logic of finite chains (Q585187) (← links)
• Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
• Valentini's cut-elimination for provability logic resolved (Q2890695) (← links)
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
• A simple tableau system for the logic of elsewhere (Q4645235) (← links)
• Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)