Dorota Leszczynska-Jasion

1980

• The method of Socratic proofs for normal modal propositional logics