@article{10.2307/2275545,
    Abstract = {We define a propositionally quantified intuitionistic logic H{$\pi$} + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that H{$\pi$}+ is recursively isomorphic to full second order classical logic. H{$\pi$}+ is the intuitionistic analogue of the modal systems S5{$\pi$} +, S4{$\pi$} +, S4.2{$\pi$} +, K4{$\pi$} +, T{$\pi$} +, K{$\pi$} + and B{$\pi$} +, studied by Fine.},
    Author = {Kremer, Philip},
    File = {2275545 (0) (0) - a - a - k.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {2},
    Pages = {529--544},
    Publisher = {Association for Symbolic Logic},
    Title = {On the Complexity of Propositional Quantification in Intuitionistic Logic},
    URL = {http://www.jstor.org/stable/2275545},
    Volume = {62},
    Year = {1997},
    bdsk-url-1 = {http://www.jstor.org/stable/2275545},
    date-added = {2019-03-10 18:59:42 +0100},
    date-modified = {2019-03-10 18:59:42 +0100},
    doi = {10.2307/2275545}
}

@article{10.2307/2275545, Abstract = {We define a propositionally quantified intuitionistic logic H{$\pi$} + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that H{$\pi$}+ is recursively isomorphic to full second order classical logic. H{$\pi$}+ is the intuitionistic analogue of the modal systems S5{$\pi$} +, S4{$\pi$} +, S4.2{$\pi$} +, K4{$\pi$} +, T{$\pi$} +, K{$\pi$} + and B{$\pi$} +, studied by Fine.}, Author = {Kremer, Philip}, File = {2275545 (0) (0) - a - a - k.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {2}, Pages = {529--544}, Publisher = {Association for Symbolic Logic}, Title = {On the Complexity of Propositional Quantification in Intuitionistic Logic}, URL = {http://www.jstor.org/stable/2275545}, Volume = {62}, Year = {1997}, bdsk-url-1 = {http://www.jstor.org/stable/2275545}, date-added = {2019-03-10 18:59:42 +0100}, date-modified = {2019-03-10 18:59:42 +0100}, doi = {10.2307/2275545} }