Return to Article Details A deductive-reductive form of logic: Intuitionistic S4 modalities Download Download PDF