TY  - RPRT
TI  - A van Benthem Theorem for Quantitative Probabilistic Modal Logic
AU  - Paul Wild
AU  - Lutz Schröder
AU  - Dirk Pattinson
AU  - Barbara König
PY  - 2019
UR  - https://arxiv.org/abs/1810.04722
ID  - 1810.04722
ER  -