Funder
Taishan Young Scholars Program of the Government of Shandong Province
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference38 articles.
1. Alechina, N., M. Mendler, V. de Paiva, and E. Ritter, Categorical and kripke semantics for constructive s4 modal logic, in L. Fribourg, (eds.), Computer Science Logic, Springer, Berlin Heidelberg, 2001, pp. 292–307
2. Beth, E., Semantic construction of intuitionistic logic, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen 19:357–388, 1956.
3. Bezhanishvili, G., and W. H. Holliday, Locales, nuclei, and Dragalin frames, Advances in Modal Logic 11:177–196, 2016.
4. Bezhanishvili, G., and W. H. Holliday, A semantic hierarchy for intuitionistic logic, Indagationes Mathematicae 30(3):403–469, 2019.
5. Bezhanishvili, N., and W. H. Holliday, Choice-free stone duality, Journal of Symbolic Logic 85(1):109–148, 2020.