Katsumi Sasaki

According to our database, Katsumi Sasaki authored at least 11 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An ømega-Rule for the Logic of Provability and Its Models.

Katsumi Sasaki, Yoshihito Tanaka

Stud Logica, October, 2024

2018

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

2016

Tourist Information System Based on Beacon and Augumented Reality Technologies.

Yoshitaka Shibata, Katsumi Sasaki

Proceedings of the 19th International Conference on Network-Based Information Systems, 2016

2013

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

2010

Formulas in Modal Logic S4.

Katsumi Sasaki

Rev. Symb. Log., 2010

2009

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

2003

A Cut-Free Gentzen Formulation of Basic Propositional Calculus.

Kentaro Kikuchi, Katsumi Sasaki

J. Log. Lang. Inf., 2003

2002

A Cut-Free Sequent System for the Smallest Interpretability Logic.

Katsumi Sasaki

Stud Logica, 2002

1999

Formalizations for the Consequence Relation of Visser's Propositional Logic.

Katsumi Sasaki

Reports Math. Log., 1999

1993

The simple substitution property of the intermediate propositional logics on finite slices.

Katsumi Sasaki

Stud Logica, 1993

1990

The simple substitution property of Gödel's intermediate propositional logics Sn's.

Katsumi Sasaki

Stud Logica, 1990