{
  "id": "2402.12931",
  "version": "v2",
  "published": "2024-02-20T11:30:27.000Z",
  "updated": "2024-03-07T17:50:35.000Z",
  "title": "Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness",
  "authors": [
    "Krzysztof A. Krawczyk"
  ],
  "comment": "Section 6 contains axiomatisation method which has been sumbitted to the conference \"1st Workshop On Relating Logic\" held in Toru\\'n on September 25-26 2020. The organizers did not allow me to present my results",
  "categories": [
    "math.LO"
  ],
  "abstract": "This paper is a mathematical investigation on Epstein semantics. One of the main tools of the present paper is the model-theoretic S-set construction introduced in (Krawczyk 2022). We use it to prove several results: 1) that each Epstein model has uncountably many equivalent Epstein models, 2) that the logic of generalised Epstein models is the S-set invariant fragment of CPL (analogon of the celebrated van Benthem characterization theorem for modal logic), 3) that several sets of Epstein relations are undefinable, 4) that logics of undefinable sets of relations can be finitely axiomatised. We also use other techniques to prove: 5) that there is uncountably many Epstein-incomplete logics and that 6) the logic of generalised Epstein models has the interpolation property.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2024-03-07T17:50:35.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B60"
    ],
    "keywords": [
      "epstein semantics",
      "generalised epstein models",
      "celebrated van benthem characterization theorem",
      "undefinability",
      "completeness"
    ],
    "tags": [
      "conference paper"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}