Katsumi Sasaki

11 papers Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
An ømega-Rule for the Logic of Provability and Its Models.
Stud Logica
Katsumi Sasaki, Yoshihito Tanaka
2018 J jnl
RSSI-Based Living-Body Radar Using Single RF Front-End and Tunable Parasitic Antennas.
IEICE Trans. Commun.
Katsumi Sasaki, Naoki Honma, Takeshi Nakayama, Shoichi Iizuka
2016 — conf
Tourist Information System Based on Beacon and Augumented Reality Technologies.
NBiS
Yoshitaka Shibata, Katsumi Sasaki
2013 J jnl
Pneumatic Servo Bearing Actuator with Multiple Bearing Pads for Ultraprecise Positioning.
Int. J. Autom. Technol.
Shuhei Tsujimura, Yusuke Hashimoto, Takashi Matsuoka, Tomoko Hirayama, Katsumi Sasaki
2010 J jnl
Formulas in Modal Logic S4.
Rev. Symb. Log.
Katsumi Sasaki
2009 J jnl
Development of Pneumatic Servo Bearing Actuator for Nanometer Positioning.
Int. J. Autom. Technol.
Masato Kadotani, Takakazu Kitagawa, Satoshi Katto, Tomoko Hirayama, Takashi Matsuoka, Hiroshi Yabe, Katsumi Sasaki
2003 J jnl
A Cut-Free Gentzen Formulation of Basic Propositional Calculus.
J. Log. Lang. Inf.
Kentaro Kikuchi, Katsumi Sasaki
2002 J jnl
A Cut-Free Sequent System for the Smallest Interpretability Logic.
Stud Logica
Katsumi Sasaki
1999 J jnl
Formalizations for the Consequence Relation of Visser's Propositional Logic.
Reports Math. Log.
Katsumi Sasaki
1993 J jnl
The simple substitution property of the intermediate propositional logics on finite slices.
Stud Logica
Katsumi Sasaki
1990 J jnl
The simple substitution property of Gödel's intermediate propositional logics Sn's.
Stud Logica
Katsumi Sasaki