A Modified Subformula Property for K5 and K5D

Bulletin of the Section of Logic, Tom 30, Numer 2 (2001) s. 115-122
Mitio Takano

 

do góry