Daishi Yazaki
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3 Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 4 / s. 245 - 257ROK: 2019CZYSTY TEKSTBIBTEX
