The modal logic of abelian groups
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Berger, Sören
Block, Alexander Christensen
Löwe, Benedikt; email: loewe@math.uni-hamburg.de
Abstract
We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is S4.2.
Description
Funder: Universität Hamburg (1037)
Keywords
20A99, Modal logic of classes of structures, Abelian groups, Divisibility, Order, 03B45, 08A99
Journal Title
Algebra universalis
Conference Name
Journal ISSN
0002-5240
1420-8911
1420-8911
Volume Title
84
Publisher
Springer International Publishing
