activity
20112022
most citedStochastic Asymptotic Stabilizers for Deterministic Input-Affine Systems based on Stochastic Control Lyapunov Functions

20 citations · 28 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 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…