{"as_of":"2026-08-16T00:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c9322ae30704898eb9939567db7b899068e03919fe7048ab07ce68a193c911f7","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T19:02:55.687165Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-09T15:09:25.177414Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T16:46:06.544719Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"cited_work":{"arxiv_id":"2603.05131","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2603.05131","snapshot_observed_at":"2026-07-22T03:22:05.647737Z","title":null,"venue":null,"work_id":"748d538d-6f4f-461f-aa10-736c8fc1a058","year":2025},"citing_paper":{"arxiv_id":"2605.00523","last_updated":"2026-05-01T09:00:09Z","snapshot_observed_at":"2026-08-07T21:11:08.000951Z","submitted_at":"2026-05-01T09:00:09Z","title":"Intuitionistic Common Knowledge","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-09T15:09:25.177414Z"},"links":{"cited_paper":"/paper/2603.05131","citing_paper":"/paper/2605.00523"},"observation_digest":"sha256:a8125a3b9db47cfdf79115895d1bfbf5f9c9b8d54bbfd229c7d0500475b54eda","observation_id":"78e561f9-2269-47a6-b9fa-7fca17e7268f","resolution":{"observed_at":"2026-07-22T03:22:05.647737Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2603.05131/citation-record","integrity":"/paper/2603.05131/integrity","json":"/paper/2603.05131/citation-record.json","paper":"/paper/2603.05131"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.575164Z","title":"Bellin, V","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.575164Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:92635963032d376fe5ecbf868ba659215d61ca6ca447c1f784750697f30759bf","observation_id":"01238296-00ee-496a-99a2-86091a1ae8fb","resolution":{"observed_at":"2026-08-02T19:02:53.575164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.679885Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.679885Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:ce30ed21e9c3813c8e05e8b7672c1a603a430e7c1e5d4e431f4fad7e2c66b770","observation_id":"1ae04bad-fe9c-4c15-aa01-64ad5ffb50fd","resolution":{"observed_at":"2026-08-02T19:02:53.679885Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.758352Z","title":"Fischer and Richard E","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.758352Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:c8dbad7f5dd1f1f2a8639db2fd5b40bcb887e26211ee13981766dad30d2a2ef6","observation_id":"ded2eec8-2a7b-4230-ba61-bf0744bb0f7a","resolution":{"observed_at":"2026-08-02T19:02:53.758352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.852506Z","title":"Leigh, and Lukas Zenger, Intuitionistic master modality, InAdvances in Modal Logic, pages 19–39","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.852506Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:a49af64294e516b35c8cbb29c0387e1768b6ad73f0fd215ef611ac740ad12b27","observation_id":"b5471f4f-aed0-43a9-b122-e47bbc535012","resolution":{"observed_at":"2026-08-02T19:02:53.852506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.967555Z","title":"Schloss Dagstuhl, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.967555Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:600312b41d108e917147fca141d742cda685ea8c5ea144d7357ce72a06a0f8c4","observation_id":"69a2d4d2-2919-4669-97a2-1383b42c4eac","resolution":{"observed_at":"2026-08-02T19:02:53.967555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:53.998424Z","title":"CSLI Publications, 1996","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:53.998424Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:fa12689e3c56e821535e5e30f37c0d85c1123adcf0a3763122f54be8da4cb000","observation_id":"5720a548-6344-45ca-be47-b7df3c201556","resolution":{"observed_at":"2026-08-02T19:02:53.998424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.070417Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.070417Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:d49c01a7d88689a8883311434469dee50c1e6e1acb0f260c6f594b956d36c567","observation_id":"e22da68a-480c-4e4b-ad70-cb8ba27126b0","resolution":{"observed_at":"2026-08-02T19:02:54.070417Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.148251Z","title":"Fitch,Intuitionistic modal logic with quantifiers.Portugaliae Mathematica, 7(2):113–118, 1948","venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.148251Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:45551d342a666ce8fc0b5f6755a8428697690aaab3b592724b94f35413916db8","observation_id":"70e9b28a-dd45-4c8c-963c-d971d119053f","resolution":{"observed_at":"2026-08-02T19:02:54.148251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.213382Z","title":"Zakharyaschev,The relation between intuitionistic and classical modal logics.Algebra and Logic, 36(2):73–92, 1997","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.213382Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:e415bc1e225878baf40187b10ac28837996719b1b213e6fdc01c9dbee6bed3f9","observation_id":"78b6b03b-2a50-4f5f-bd50-837ca11c8248","resolution":{"observed_at":"2026-08-02T19:02:54.213382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.288765Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.288765Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:8800b708b814a038e12af689fbb56a78bb56f207a4b51fb14036a20675083568","observation_id":"20992421-f84c-4dbb-bd52-01c0f85d78e8","resolution":{"observed_at":"2026-08-02T19:02:54.288765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.361823Z","title":"ACM, 1996","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.361823Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:a650bc7035db35f3dd9c84b67b84150969bb055a81566a1b4e5797994327470f","observation_id":"a489a72f-8965-4c7f-8e59-df9d92f58b4a","resolution":{"observed_at":"2026-08-02T19:02:54.361823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.450304Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.450304Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:dc3b0eddee8e98f6e59f5732891934871cd406acd737aaeae1e2b87b4765086d","observation_id":"16395d23-0922-4001-af81-fdaf167bdfd5","resolution":{"observed_at":"2026-08-02T19:02:54.450304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.573056Z","title":"Boudou, M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.573056Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:8fa7efab75253592c1915e54dfcad81755e2a4c97113fca9be2050d648e2135d","observation_id":"80df6c6c-8124-4977-9db3-eda7eb5fbd51","resolution":{"observed_at":"2026-08-02T19:02:54.573056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.623121Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.623121Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:ddb5ed2668557e3c0f35eb0e1415c894b2abcdaef6ca7dc6c0d837d8005d1771","observation_id":"9b8e65c6-f044-4886-b9ca-27e6ce6b9839","resolution":{"observed_at":"2026-08-02T19:02:54.623121Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.733116Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.733116Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:db3e8d26cad1c23c20e15c0cf5779783fa68241dcd1df368edae94f379d4b34e","observation_id":"1bac32b0-bbf6-4e86-b595-ec62faedb2cc","resolution":{"observed_at":"2026-08-02T19:02:54.733116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.793046Z","title":"Pratt,A near-optimal method for reasoning about action, In Journal of Computer and System Sciences, 20(2):231–254, 1980","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.793046Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:cad5da025b4b7281bc1ad3886e831709488d9f4600cdc3adb6a9fac67863b565","observation_id":"5f54d2bf-3457-477c-a7d4-e7023922fc7c","resolution":{"observed_at":"2026-08-02T19:02:54.793046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.913168Z","title":"Nishimura,Semantical analysis of constructive PDL, InPublications of the Research Institute for Mathematical Sciences, 18:427–438, 1982","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.913168Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:2e7296c2f928f44c8452be9f7890ba67705e157dd8658f86b604c84fb6b55a2b","observation_id":"268cf6a2-6f82-496b-971c-af8151c380b7","resolution":{"observed_at":"2026-08-02T19:02:54.913168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:54.997401Z","title":"Degen and J","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:54.997401Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:0ca9e644bb12854a69afa844b8088893808531124fd85930baa036c7181703d9","observation_id":"a099d0cf-5e1b-4850-8277-1af69dde03a2","resolution":{"observed_at":"2026-08-02T19:02:54.997401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.039851Z","title":"Springer, 2001","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.039851Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:9b7cf68a40a135341174ea37dc9eae0a680dcebbe1e3e1954676263a8e0118aa","observation_id":"14b5ed68-4857-4ca1-af4a-472dbeae4fbc","resolution":{"observed_at":"2026-08-02T19:02:55.039851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.099944Z","title":"IEEE, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.099944Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:a0cf062b407def4db43fb611ffb7ea2432332383fc048d7f2b12e4e4bbfb5fe2","observation_id":"f143e37d-1835-40c3-ab0d-fed43495c5c6","resolution":{"observed_at":"2026-08-02T19:02:55.099944Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.184225Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.184225Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:e25ceec8facf526af1eca195ede6d7697b8e50d311181693090f0b4d954e0584","observation_id":"c4095a5b-401b-437c-a12e-da59cb4cd89a","resolution":{"observed_at":"2026-08-02T19:02:55.184225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.248804Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.248804Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:ad4b2057a0c9a405c2ab5719c652975f9ff8112d5987deeda077c8ffef9d5f1c","observation_id":"6a8ab7b7-9161-4db7-97df-8aa351bd0d5d","resolution":{"observed_at":"2026-08-02T19:02:55.248804Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.300470Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.300470Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:4fbb07b6a1774f9a81963040b33aba474be7b5e44cfad13892b5b94a8a056c37","observation_id":"3e661b6d-011e-411a-9efd-6995231f2e07","resolution":{"observed_at":"2026-08-02T19:02:55.300470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.346792Z","title":"Oxford University Press, 2001","venue":null,"work_id":null,"year":1933},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.346792Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:c3c1a1307d6fe2b81bde1811a038566f7fc97327a77814c563f65a66d2ffe04f","observation_id":"70fca28e-d001-43a9-b5fb-1259ec377738","resolution":{"observed_at":"2026-08-02T19:02:55.346792Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.392584Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.392584Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:270ab884e4fbade01cca5f66995590a074edca3eeba48578ae1cf36578c0045b","observation_id":"49fc6054-7bb2-4fc7-a6f0-b348d385da18","resolution":{"observed_at":"2026-08-02T19:02:55.392584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.00201","last_updated":"2026-06-21T14:36:56Z","snapshot_observed_at":"2026-08-13T04:05:58.597596Z","submitted_at":"2024-03-01T00:21:46Z","title":"Constructive S4 modal logics with the finite birelational frame property","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.00201","snapshot_observed_at":"2026-08-02T19:02:55.451488Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.451488Z"},"links":{"cited_paper":"/paper/2403.00201","citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:a9b926418506712a8c2952d9abd2f5be52777cbeb0625d7371bb63aea4c45000","observation_id":"f0ccc208-bb43-4887-80d9-96fcd1d35ea1","resolution":{"observed_at":"2026-08-02T19:02:55.451488Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.510684Z","title":"Appendix This appendix gathers the technical and straightforward proofs omitted from the main exposition","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.510684Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:74089db931bca407426e0ee69377687a4c44422a062aa68610ab0a8e6ec71d08","observation_id":"100a2b6e-9755-49fc-871c-bd33a6a3dcb4","resolution":{"observed_at":"2026-08-02T19:02:55.510684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.569825Z","title":"Ifp /∈Var(φ), this holds trivially, since∥⊥∥ CK φ =∥ω P(φ) (⊥)∥=∥p∥ CK φ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.569825Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:dfd1c329e78ecf05c6bf6ff891bc0ef67aee53870d1180679aa044f6617f69b7","observation_id":"9178fdcc-27df-4050-949d-08294975d6ca","resolution":{"observed_at":"2026-08-02T19:02:55.569825Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.617999Z","title":"Ifp∈Var(φ), thenw∈ ∥p∥ CK φ =∥p∥, and the atomic persistence ofMimpliesv∈ ∥p∥=∥p∥ CK φ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.617999Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:1bc1fa5fb126fb32278557a67ff16f3abfe06eaf53680a03fc8a04731e1842b4","observation_id":"68b001f3-000d-408b-9f42-9bdfc1f589a3","resolution":{"observed_at":"2026-08-02T19:02:55.617999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.647034Z","title":"By definition,w∈ ∥□ ∗(V P(φ)∧ ♢p⊥)∥implies that for allu, ifw(≼;R ∗)∗u, thenu∈ ∥ V P(φ)∧♢p ⊥∥","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.647034Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:3aa717fa8fcc490a94f12578040c39fd7809173c374ab280d8279f5e4eeb8d92","observation_id":"01504ca6-df60-44a8-bab5-efc326962d6d","resolution":{"observed_at":"2026-08-02T19:02:55.647034Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T19:02:55.687165Z","title":"19 C Detailed proofs of the translation fromWK ∗ toPDL Proposition 5.3.LetMbe aWK-model andφ∈ L ∗","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T19:02:55.687165Z"},"links":{"citing_paper":"/paper/2603.05131"},"observation_digest":"sha256:d44e21be8512f2bd24d0b277effafeeee2c47906612b32272e008c582553bbbe","observation_id":"bfd6a6dc-025c-4337-845a-f065721d1bfb","resolution":{"observed_at":"2026-08-02T19:02:55.687165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.05131","last_updated":"2026-07-21T09:28:30Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T13:25:15.731291Z","submitted_at":"2026-03-05T12:59:47Z","title":"The Complexity of the Constructive Master Modality"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2603.05131."}