Pages that link to "Item:Q3460060"
From MaRDI portal
The following pages link to Focused Labeled Proof Systems for Modal Logic (Q3460060):
Displayed 10 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- (Q5005105) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)