Sign in
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics.
Dominik Klein
Rasmus K. Rendsvig
Published in:
J. Symb. Log. (2023)
Keyphrases
</>
evaluation metrics
dynamic model
general purpose
kripke models
modal logic