Pages that link to "Item:Q1734264"
From MaRDI portal
The following pages link to Maehara-style modal nested calculi (Q1734264):
Displaying 3 items.
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)