Kentaro Sato

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 6

Top Topics

Qualitative Decision Theory

Inductive Reasoning

Model Construction

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Kentaro Sato
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI. Ann. Pure Appl. Log. 175 (7) (2024)
Kentaro Sato
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection. Ann. Pure Appl. Log. 174 (3) (2023)
Sator Izumi, Kentaro Sato, Akiko Takahashi, Shinji Chiba
Introductory Education for IoT Technology for First-Year Students. TALE (2022)
Kentaro Sato
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. Arch. Math. Log. 61 (3-4) (2022)
Kentaro Sato
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives. Ann. Pure Appl. Log. 171 (3) (2020)
Kentaro Sato
Ordinal analyses for monotone and cofinal transfinite inductions. Arch. Math. Log. 59 (3-4) (2020)
Kentaro Sato
. Ann. Pure Appl. Log. 166 (7-8) (2015)
Kentaro Sato
Full and hat inductive definitions are equivalent in NBG. Arch. Math. Log. 54 (1-2) (2015)
Kentaro Sato, Rico Zumbrunnen
-equivalent to KP. Ann. Pure Appl. Log. 166 (2) (2015)
Dandolo Flumini, Kentaro Sato
From hierarchies to well-foundedness. Arch. Math. Log. 53 (7-8) (2014)
Kentaro Sato
Forcing for hat inductive definitions in arithmetic. Math. Log. Q. 60 (4-5) (2014)
Kentaro Sato
The strength of extensionality II - Weak weak set theories without infinity. Ann. Pure Appl. Log. 162 (8) (2011)
Kentaro Sato
The strength of extensionality I - weak weak set theories with infinity. Ann. Pure Appl. Log. 157 (2-3) (2009)
Katsuhiko Sano, Kentaro Sato
Semantical Characterizations for Irreflexive and Generalized Modal Languages. Notre Dame J. Formal Log. 48 (2) (2007)
Kentaro Sato
Double helix in large large cardinals and iteration of elementary embeddings. Ann. Pure Appl. Log. 146 (2-3) (2007)
Keikichi Hirose, Kentaro Sato, Yasufumi Asano, Nobuaki Minematsu
contours using generation process model parameters predicted from unlabeled corpora: application to emotional speech synthesis. Speech Commun. 46 (3-4) (2005)
Keikichi Hirose, Kentaro Sato, Nobuaki Minematsu
Corpus-based synthesis of fundamental frequency contours with various speaking styles from text using F0 contour generation process model. SSW (2004)