Zobrazeno 1 - 10
of 213
pro vyhledávání: '"Sasaki, Katsumi"'
Autor:
Sasaki, Katsumi, Tanaka, Yoshihito
In this paper, we discuss a proof system $\mathsf{NGL}$ for the logic $\mathbf{GL}$ of provability, which is equipped with an $\omega$-rule. We show the three classes of transitive Kripke frames, the class which strongly validates the $\omega$-rule,
Externí odkaz:
http://arxiv.org/abs/2002.04782
Autor:
Sasaki, Katsumi
Publikováno v:
Bulletin of the Section of Logic. 51(2):243-266
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1072291
Autor:
Sasaki, Katsumi
Publikováno v:
Bulletin of the Section of Logic. 51(1):91-108
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1041325
Autor:
Sasaki, Katsumi, Tanaka, Yoshihito
Publikováno v:
Studia Logica; Oct2024, Vol. 112 Issue 5, p1163-1180, 18p
Autor:
Katayama, Satoshi, Iwata, Takehiro, Kawada, Tasushi, Okamoto, Yusuke, Sano, Yuho, Kawago, Yuya, Miyake, Shuji, Moriwake, Takatoshi, Kuinose, Aya, Horikawa, Yuhei, Tsuboi, Kazuma, Tsuboi, Ichiro, Sakaeda, Kazuma, Nakatsuka, Hirokazu, Takamoto, Atsushi, Hirata, Takeshi, Shirasaki, Yoshinori, Yamasaki, Taku, Morinaka, Hirofumi, Nagasaki, Naoya, Hara, Takafumi, Ochi, Akinori, Okumura, Misa, Watanabe, Tomofumi, Sekito, Takanori, Kawano, Kaoru, Horii, Satoshi, Yamanoi, Tomoaki, Nagao, Kentaro, Yoshinaga, Kasumi, Maruyama, Yuki, Tominaga, Yusuke, Sadahira, Takuya, Nishimura, Shingo, Edamura, Kohei, Kobayashi, Tomoko, Kusumi, Norihiro, Kurose, Kyohei, Yamamoto, Yasuo, Sugimoto, Morito, Nakada, Tetsuya, Sasaki, Katsumi, Takenaka, Tadasu, Ebara, Shin, Miyaji, Yoshiyuki, Wada, Koichiro, Kobayashi, Yasuyuki, Araki, Motoo
Publikováno v:
In Urologic Oncology: Seminars and Original Investigations March 2024 42(3):70-70
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sasaki, Katsumi.
Proefschrift Universiteit van Amsterdam.
Met index, lit. opg. - Met samenvatting in het Nederlands.
Met index, lit. opg. - Met samenvatting in het Nederlands.
Externí odkaz:
http://dare.uva.nl/document/85164
Autor:
Kikuchi, Kentaro, Sasaki, Katsumi
Publikováno v:
Journal of Logic, Language, and Information, 2003 Jan 01. 12(2), 213-225.
Externí odkaz:
https://www.jstor.org/stable/40180326
Autor:
Sasaki, Katsumi
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2002 Apr 01. 70(3), 353-372.
Externí odkaz:
https://www.jstor.org/stable/20016402
Autor:
Hayashida, Minoru, Ito, Katsuyoshi, Fujita, Takeshi, Shimizu, Ayame, Sasaki, Katsumi, Tanabe, Masahiro, Matsunaga, Naofumi
Publikováno v:
In Magnetic Resonance Imaging 2008 26(1):65-71