3 citations · 3 across the 2 of their papers we have counts for
3 papers
math.LO2022★ 3 cited
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
Yuki Nishimura
Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau c…
math.OC2022
Monotonicity for Multiobjective Accelerated Proximal Gradient Methods
Yuki Nishimura, Ellen H. Fukuda, Nobuo Yamashita
Accelerated proximal gradient methods, which are also called fast iterative shrinkage-thresholding algorithms (FISTA) are known to be efficient for many applications. Recently, Tan…
math.OC2019
Non-Smooth Stochastic Lyapunov Functions With Weak Extension of Viscosity Solutions
Yuki Nishimura, Kenta Hoshino
This paper proposes a notion of viscosity weak supersolutions to build a bridge between stochastic Lyapunov stability theory and viscosity solution theory. Different from ordinary…