Pages that link to "Item:Q2811354"
From MaRDI portal
The following pages link to Focused and Synthetic Nested Sequents (Q2811354):
Displayed 4 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)