Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics

Dominik Klein, Rasmus K. Rendsvig

This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infini…