阿贝尔群的模态逻辑

IF 0.6 4区数学 Q3 MATHEMATICS

Algebra Universalis Pub Date : 2023-07-26 DOI:10.1007/s00012-023-00821-9

Sören Berger, Alexander Christensen Block, Benedikt Löwe

引用次数: 0

摘要

我们证明了具有同构于子群的可达性关系的阿贝尔群的模态逻辑是\（\mathsf｛S4.2｝\）。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

The modal logic of abelian groups

查看原文本刊更多论文

The modal logic of abelian groups

We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is \(\mathsf {S4.2}\).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Algebra Universalis 数学-数学

CiteScore

1.00

自引率

16.70%

发文量

审稿时长

3 months

期刊介绍： Algebra Universalis publishes papers in universal algebra, lattice theory, and related fields. In a pragmatic way, one could define the areas of interest of the journal as the union of the areas of interest of the members of the Editorial Board. In addition to research papers, we are also interested in publishing high quality survey articles.