MOIN
From MaRDI portal
Software:5974871
No author found.
Related Items (3)
Terminating calculi and countermodels for constructive modal logics ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Local reductions for the modal cube
This page was built for software: MOIN