Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality.

Jan Rooduijn

Browse the full TABLEAUX paper archive.