Title: The method of Socratic proofs for normal modal propositional logics
Subjects: Proposition (Logic), Questioning, Proof theory