Dorota Leszczynska-Jasion. The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. Studia Logica, 89(3):365-399, 2008. [doi]
@article{Leszczynska-Jasion08,
title = {The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G},
author = {Dorota Leszczynska-Jasion},
year = {2008},
doi = {10.1007/s11225-008-9134-5},
url = {http://dx.doi.org/10.1007/s11225-008-9134-5},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Leszczynska-Jasion08},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {89},
number = {3},
pages = {365-399},
}