{
  "id": "2407.08465",
  "version": "v1",
  "published": "2024-07-11T13:01:31.000Z",
  "updated": "2024-07-11T13:01:31.000Z",
  "title": "Finite model property of pretransitive analogues of (w)K4 and GL",
  "authors": [
    "Lev Dvorkin"
  ],
  "comment": "19 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "A modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish the finite model property for pretransitive generalizations of K4, wK4, and GL and their extensions by canonical subframe-hereditary formulas.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-07-11T13:01:31.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B45"
    ],
    "keywords": [
      "finite model property",
      "pretransitive analogues",
      "modal logic",
      "accessibility relation",
      "canonical subframe-hereditary formulas"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 19,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}