View of New Modification of the Subformula Property for a Modal Logic

Return to Article Details New Modification of the Subformula Property for a Modal Logic Download Download PDF