Report copyright - Metrics for Formal Structures, with an Application to ... · Kripke models and modal logic, and, in extension, to dynamic epistemic logic. The metrics are generalizations of the Hamming
Please pass captcha verification before submit form