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 - 2572019CZYSTY TEKST
Daishi Yazaki, Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3 , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 245 - 257
BIBTEX@Article{ authors = " Daishi Yazaki", title = "Semantical Proof of Subformula Property for the Model Logics K4.3, KD4.3, and S4.3 ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 4", pages = "245 - 257" }
