{
  "annotation_id": "e3cb13a9-3b03-415d-8278-fff1df2f8ccd",
  "date_created": "2026-02-17T05:53:16.239000Z",
  "date_modified": "2026-02-17T05:53:16.239000Z",
  "file_hash": "0c5198f80fcbf71d1b829fb54bb5f80ee9bfa4ee772b0b94b17553317e50a6dd",
  "private": false,
  "record": {
    "abstract": "In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds new constants to the underlying signature in a way that preserves consistency, even in the presence of models with possibly empty domains. Using this forcing method, we derive general criteria that are sufficient for a signature square to satisfy both Robinson\u0027s consistency and Craig interpolation properties.",
    "arxiv_id": "2601.08432",
    "authors": [
      "Daniel G\u0103in\u0103",
      "Go Hashimoto"
    ],
    "categories": [
      "cs.LO"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-nd/4.0/",
    "title": "Forcing and Interpolation in First-Order Hybrid Logic with rigid symbols",
    "url": "https://arxiv.org/abs/2601.08432",
    "version": "v1"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "3d101afa-6f16-44ff-a09d-38982250ba71",
    "id": "arXiv Dataset",
    "type": "Model",
    "variant": "snapshot-2026-01-17",
    "version": "0.1.0"
  },
  "user_id": 1000002
}