Login / Signup

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

Dominik KleinRasmus K. Rendsvig
Published in: J. Symb. Log. (2023)
Keyphrases
  • evaluation metrics
  • dynamic model
  • general purpose
  • kripke models
  • modal logic