%0 Journal Article %A Fitch, Frederic B. %T Intuitionistic modal logic with quantifiers %J Portugaliae mathematica %D 1948 %P 113-118 %V 7 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114664/ %G en %F PORMA_1948__7_2_114664