The paper introduces a broad family of metrics applicable to finite and countably infinite strings, or, by extension, to formal structures serving as semantics for countable languages. The main focus is on applications to sets of pointed Kripke models, a semantics for modal logics. For the resulting metric spaces, the paper classifies topological properties including which metrics are topologically equivalent, providing sufficient conditions for compactness, characterizing clopen sets and isolated points, and characterizing the metrical topologies by a concept of logical convergence. We then apply the approach to maps from dynamic epistemic logic, showing that product updates with action models yield continuous maps, hence allowing for an interpretation of the iterated updates as discrete time dynamical systems.

We give sufficient conditions for the following problem: given a topological space $X$, a metric space $Y$, a subspace $Z$ of $Y$, and a continuous map $f$ from $X$ to $Y$, is it possible, by applying to $f$ an arbitrarily small perturbation, to ensure that $f\left( {{X}^{'}} \right)$ does not meet $Z$? We also give a relative variant: if $f\left( X\prime \right)$ does not meet $Z$ for a certain subset ${X}'\subset X$, then we may keep $f$ unchanged on ${X}'$. We also develop a variant for continuous sections of fibrations and discuss some applications to matrix perturbation theory.