TY  - RPRT
TI  - Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
AU  - Yuichi Komorida
AU  - Shin-ya Katsumata
AU  - Clemens Kupke
AU  - Jurriaan Rot
AU  - Ichiro Hasuo
PY  - 2021
UR  - https://arxiv.org/abs/2105.10164
ID  - 2105.10164
ER  -