View of Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3

Return to Article Details Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3 Download Download PDF