The Method of Socratic Proofs for Normal Modal Propositional Logics

Dorota Leszczyńska