The simple substitution property of Gödel's intermediate propositional logics Sn's. - Katsumi Sasaki (Stud Logica, 1990)

The simple substitution property of the intermediate propositional logics on finite slices. - Katsumi Sasaki (Stud Logica, 1993)

Formalizations for the Consequence Relation of Visser's Propositional Logic. - Katsumi Sasaki (Reports Math. Log., 1999)

A Cut-Free Sequent System for the Smallest Interpretability Logic. - Katsumi Sasaki (Stud Logica, 2002)

A Cut-Free Gentzen Formulation of Basic Propositional Calculus. - Kentaro Kikuchi; Katsumi Sasaki (J. Log. Lang. Inf., 2003)

Development of Pneumatic Servo Bearing Actuator for Nanometer Positioning. - Masato Kadotani; Takakazu Kitagawa; Satoshi Katto; Tomoko Hirayama; Takashi Matsuoka; Hiroshi Yabe; Katsumi Sasaki (Int. J. Autom. Technol., 2009)

Formulas in Modal Logic S4. - Katsumi Sasaki (Rev. Symb. Log., 2010)

Pneumatic Servo Bearing Actuator with Multiple Bearing Pads for Ultraprecise Positioning. - Shuhei Tsujimura; Yusuke Hashimoto; Takashi Matsuoka; Tomoko Hirayama; Katsumi Sasaki (Int. J. Autom. Technol., 2013)

Tourist Information System Based on Beacon and Augumented Reality Technologies. - Yoshitaka Shibata; Katsumi Sasaki (NBiS, 2016)

RSSI-Based Living-Body Radar Using Single RF Front-End and Tunable Parasitic Antennas. - Katsumi Sasaki; Naoki Honma; Takeshi Nakayama; Shoichi Iizuka (IEICE Trans. Commun., 2018)

An ømega-Rule for the Logic of Provability and Its Models. - Katsumi Sasaki; Yoshihito Tanaka (Stud Logica, 2024)