2601.07690v1.pdf

{
  "dorsal/arxiv": [
    {
      "date_modified": "2026-02-17T05:53:12.528000Z",
      "hash": "0616548bd32689d11d05a24ec4f49e7e1b35d3745f133481ec90f15023be8f99",
      "id": "92d50be9-30f5-4723-9dd2-7f8167457e11",
      "source": {
        "execution_id": "cab302b1-3b3f-4b4c-bd7b-adecc3fa5765",
        "id": "arXiv Dataset",
        "type": "Model",
        "variant": "snapshot-2026-01-17",
        "version": "0.1.0"
      },
      "user_id": 1000002
    }
  ],
  "file/base": {
    "record": {
      "extension": ".pdf",
      "hash": "0616548bd32689d11d05a24ec4f49e7e1b35d3745f133481ec90f15023be8f99",
      "media_type": "application/pdf",
      "media_type_prefix": "application",
      "name": "2601.07690v1.pdf",
      "size": 650756
    },
    "source": {
      "execution_id": "0896d16f-0510-45a5-b9e0-16077438205d",
      "id": "file/base",
      "type": "Model",
      "version": "1.0.0"
    }
  },
  "file/pdf": {
    "private": false,
    "record": {
      "creation_date": "2026-01-13T03:03:54Z",
      "keywords": [
        "Strategic Reasoning",
        "Model Change",
        "Expressivity",
        "Model Checking",
        "Modal Logic"
      ],
      "modified_date": "2026-01-13T03:03:54Z",
      "page_count": 13,
      "producer": "pikepdf 8.15.1",
      "title": "On Angels and Demons: Strategic (De)Construction of Dynamic Models",
      "version": "1.7"
    },
    "source": {
      "execution_id": "25a3d5d5-df35-4cba-ae77-a247f42b217e",
      "id": "dorsal/pdf",
      "type": "Model",
      "version": "1.1.0"
    }
  }
}