{
  "id": "2103.12709",
  "version": "v1",
  "published": "2021-03-23T17:29:49.000Z",
  "updated": "2021-03-23T17:29:49.000Z",
  "title": "Automorphisms of the Lattice of Classical Modal Logics",
  "authors": [
    "Adrian Soncodi"
  ],
  "comment": "28 pages, 1 figure",
  "journal": "Published in Studia Logica, vol 104, November 2015",
  "doi": "10.1007/s11225-015-9638-8",
  "categories": [
    "math.LO"
  ],
  "abstract": "In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization of the normal forms applicable to normal modal logics. As an application, we identify a group of automorphisms of CExtE that is isomorphic to the symmetric group S4.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2021-03-23T17:29:49.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B45",
      "F.4.1"
    ],
    "keywords": [
      "automorphisms",
      "minimal classical modal logic system",
      "normal modal logics",
      "symmetric group s4",
      "algebraic calculations"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "publisher": "Springer"
    },
    "note": {
      "typesetting": "TeX",
      "pages": 28,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}