Pages that link to "Item:Q2563456"
From MaRDI portal
The following pages link to Cut-free tableau calculi for some propositional normal modal logics (Q2563456):
Displaying 8 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Around provability logic (Q1035652) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
