The method of Socratic proofs for normal modal propositional logics (Wydawn. Nauk. Uniw. Im. A. Mickiewicza, 2007)