Author:
Berger Sören,Block Alexander Christensen,Löwe Benedikt
Abstract
AbstractWe prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is $$\mathsf {S4.2}$$
S
4.2
.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference21 articles.
1. Berger, S.: The modal logic of abelian groups. Master’s thesis, Universität Hamburg, (2018)
2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, Vol. 53 (Cambridge University Press, Cambridge, 2001)
3. Block, A.C., Löwe, B.: Modal logic and multiverses. RIMS Kôkyûroku 1949, 5–23 (2015)
4. Esakia, L., Löwe, B.: Fatal Heyting algebras and forcing persistent sentences. Stud. Log. 100(1–2), 163–173 (2012)
5. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore;S-D Friedman,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Natural Deduction Calculus for S4.2;Notre Dame Journal of Formal Logic;2024-05-01