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

by Dominik Klein and Rasmus K. Rendsvig

Reference:

Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics Dominik Klein and Rasmus K. Rendsvig. Journal of Symbolic Logic. 2022.

Bibtex Entry:

@article{KleinRendsvig2022,
    title     = {{Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics}},
    author    = {Dominik Klein and Rasmus~K. Rendsvig},
    journal   = {Journal of Symbolic Logic},
    pages     = {First view},
    year      = {2022},
    doi       = {10.1017/jsl.2022.74},
    url       = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DD912070AABD94C3892CC6266B4C675E/S0022481222000743a.pdf/metrics-for-formal-structures-with-an-application-to-kripke-models-and-their-dynamics.pdf},
}