The modal logic of abelian groups

Link:
Autor/in:
Erscheinungsjahr:
2023
Medientyp:
Text
Schlagworte:
  • Abelian groups
  • Divisibility
  • Modal logic of classes of structures
  • Order
Beschreibung:
  • We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is S4.2
Lizenzen:
  • info:eu-repo/semantics/openAccess
  • http://creativecommons.org/licenses/by/4.0/
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/c302bfe2-35eb-4a88-9c51-4ee650ccac73