Modal Logic for Relationships Between Sets. RHV 2023, No. 22, 23-38. https://doi.org/10.22370/rhv2023iss22pp23-38.