@article{a2da507a258d471bab532ee7a2aae4ec,
title = "Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics",
keywords = "metric spaces, general topology, modal logic, Kripke Model, model transformation, Dynamic epistemic logic",
author = "Dominik Klein and Rendsvig, {Rasmus Kr{\ae}mmer}",
year = "2023",
doi = "10.1017/jsl.2022.74",
language = "English",
volume = "88",
pages = "469--489",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Cambridge University Press",
number = "2",
}