Pages that link to "Item:Q5427256"

The following pages link to Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 (Q5427256):

Displaying 3 items.

• Display calculi and other modal calculi: a comparison (Q987468) (← links)
• Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
• A deep inference system for the modal logic S5 (Q2642520) (← links)