A Modified Subformula Property for the Modal Logic S4.2

Bulletin of the Section of Logic, Tom 48, Numer 1 (2019) s. 19-28
Mitio Takano

 

do góry