The following pages link to (Q4443189):
Displaying 12 items.
- Sequent systems for negative modalities (Q1682296) (← links)
- A modified subformula property for the modal logic KC4 (Q2027110) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 (Q5126197) (← links)
- New Modification of the Subformula Property for a Modal Logic (Q5147750) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- A Modified Subformula Property for the Modal Logic S4.2 (Q5241399) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- Subformula property for some modal logics (Q6545150) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
