Philip Kremer. Completeness of second-order Propositional S4 and H in Topological Semantics. Rew. Symb. Logic, 11(3):507-518, 2018. [doi]
@article{Kremer18-1, title = {Completeness of second-order Propositional S4 and H in Topological Semantics}, author = {Philip Kremer}, year = {2018}, doi = {10.1017/S1755020318000229}, url = {https://doi.org/10.1017/S1755020318000229}, researchr = {https://researchr.org/publication/Kremer18-1}, cites = {0}, citedby = {0}, journal = {Rew. Symb. Logic}, volume = {11}, number = {3}, pages = {507-518}, }