View of A Modified Subformula Property for the Modal Logic S4.2

Return to Article Details A Modified Subformula Property for the Modal Logic S4.2 Download Download PDF