20 citations · 28 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…