Komorida, Yuichi

1. Codensity Games for Bisimilarity
   2019/07/22 by Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
   2021/05/21 by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens +2 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)