The existential fragment of second-order propositional intuitionistic logic is undecidable.

MLA

Fujita, Ken-etsu, et al. “The Existential Fragment of Second-Order Propositional Intuitionistic Logic Is Undecidable.” Journal of Applied Non-Classical Logics, vol. 34, no. 1, Mar. 2024, pp. 55–74. EBSCOhost, https://doi.org/10.1080/11663081.2024.2312774.

APA

Fujita, K., Schubert, A., Urzyczyn, P., & Zdanowski, K. (2024). The existential fragment of second-order propositional intuitionistic logic is undecidable. Journal of Applied Non-Classical Logics, 34(1), 55–74. https://doi.org/10.1080/11663081.2024.2312774

Chicago

Fujita, Ken-etsu, Aleksy Schubert, Paweł Urzyczyn, and Konrad Zdanowski. 2024. “The Existential Fragment of Second-Order Propositional Intuitionistic Logic Is Undecidable.” Journal of Applied Non-Classical Logics 34 (1): 55–74. doi:10.1080/11663081.2024.2312774.