Answers are grounded in this paper and cite their sources.
We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is S4.2 S 4.2 .
No takes yet. Share an insight, caveat, or question.
Berger et al. (2023) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: