Forcing under Anti-Foundation Axiom: An expression of the stalks. - Sato Kentaro (Math. Log. Q., 2006)

Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. - Sato Kentaro (Stud Logica, 2008)

Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories. - Sato Kentaro (J. Symb. Log., 2014)

Truncation and Semi-Decidability Notions in Applicative Theories. - Gerhard Jäger; Timotej Rosebrock; Sato Kentaro (J. Symb. Log., 2018)

A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction. - Sato Kentaro (J. Symb. Log., 2019)

A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. - Takako Nemoto; Sato Kentaro (J. Symb. Log., 2022)

Finitist Axiomatic Truth. - Sato Kentaro; Jan Walker (J. Symb. Log., 2023)