Takano, M. (2019) “A Modified Subformula Property for the Modal Logic S4.2”, Bulletin of the Section of Logic, 48(1), pp. 19–28. doi: 10.18778/0138-0680.48.1.02.