Pages that link to "Item:Q5049018"
From MaRDI portal
The following pages link to MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018):
Displaying 4 items.
- Local reductions for the modal cube (Q2104538) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
