Return to Article Details Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities Download Download PDF