TY  - RPRT
TI  - Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics
AU  - Dominik Klein
AU  - Rasmus K. Rendsvig
PY  - 2017
UR  - https://arxiv.org/abs/1704.00977
ID  - 1704.00977
ER  -