Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that iProducator: SPRINGER PG