Liu, X. Locating Logical Necessity in Models or the Nature of Situations. PRB 2024, 78-93. https://doi.org/10.15388/Problemos.Priedas.24.6.