The following pages link to (Q4032549):
Displaying 13 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- A modified subformula property for the modal logic KC4 (Q2027110) (← links)
- Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps (Q2039937) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- From the subformula property to cut-admissibility in propositional sequent calculi (Q4612444) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Subformula property for some modal logics (Q6545150) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
- Restriction on cut rule in cyclic-proof system for symbolic heaps (Q6633582) (← links)
