{"as_of":"2026-08-12T09:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4f29c5918695cb69b625c991afd118cbdf8eba80aba1e538e4f0324826daf960","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-12T06:34:41.77262+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-12T06:22:12.135164Z","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:ad32330e86b34c632fdf6dc8ab654fd0e93dd653e7816d2687b285089d100ba5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T06:22:12.135164Z","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:a0b058db44f0d4e3828cf15e144ef73a56c8a473fe52531997ccd410ff92b7bf","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-12T06:22:12.135164Z","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:25b191531e7945f2c44df21bf1d74568d72ebf05d2e11016ab17f555281ced00","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-12T06:22:12.135164Z","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:c0eea3c1f4406c51635f68def95a8a533969ae9de6b660190c8c29e133199e5f","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-12T06:22:12.135164Z","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:c27b1a5556acb469d3520f18090cb12aa93eb94825de6b64ae35680b57298900","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-12T06:22:12.135164Z","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:50ab64b57411945fcd5c3a3023d6bde8305e5d86b3890e21c11c2b9f8676122d","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-12T06:22:12.135164Z","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:8a09b0a005bc839a0b8b84ee857e74241944561235c62937914b442dc39e299e","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-12T06:22:12.135164Z","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:6ffd3d1e1afaa79ca9cea3ce36715d3370b5e08879ade1bdb25077451a50b08a","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-12T06:22:12.135164Z","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:fd02e5c85326f4149850d781cda2dc77f7913ff33c56ce7621008a15e01872cd","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-12T06:22:12.135164Z","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:200bba8e2179db41e0902be6edd4a1d2642f76e7669030e683d00a93244b1dc9","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-12T06:22:12.135164Z","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:4aa325dbecdbbdde8a848c7ce684236495f9093f78e5d684861a2e75a411cd16","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-12T06:22:12.135164Z","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:6e162c6f6c4000044f18f82706b7fc87bb97074a25669df18f9d3f72ad7b5f49","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-12T06:22:12.135164Z","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:b036e6ffa95ee3af48673c0750fb391a65c4a76fc302dd4d38e4dae6b0355b42","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-12T06:22:12.135164Z","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:04f9fa48ca71b508e420413dfb0a586a430a8376c83780c750e2f344291c0e3b","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-12T06:22:12.135164Z","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:b34f4ccb2a440f8e892fe9d8e70afc3a9d7e860fa212297eb87b18a40082352d","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-12T06:22:12.135164Z","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:6b0e0f169499d9fe5f54004bb370a393f355090c0c5da982ab6ace445652c134","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-12T06:22:12.135164Z","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:b8069bc665ec9bd555c424c8c6e089fbe236afc7ea6db2ebacda6a414dbad995","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-12T06:22:12.135164Z","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:b6a05c75325a5fc5502099f146ea10d42fde17fccefbbc72b9c1acb3002e1494","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-12T06:22:12.135164Z","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:23bc4fce6c451c8d484bd890fb8b148d04246db043d01595428563c4b98150fd","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-12T06:22:12.135164Z","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:f11f73f8d5b56d66ce12d6d438c8d1c7bd83ccd6518fa12c79f5860ba4dea374","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-12T06:22:12.135164Z","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:61ce125b156d659bf1fb6fcc7dfc25fea45849e16a3e19a4332dd800e6b8404c","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-12T06:22:12.135164Z","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:a61d3127d268293a7d5af930935b5b8e4c3b8d173b0cafad5569c2a76ec767d8","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-12T06:22:12.135164Z","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:d5d7e4efbc473d63c4cd3194b88ffbe6d6cac3e45579e150ce92a7fc72511408","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-12T06:22:12.135164Z","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:d91de5ffd3237cc44235a858ef998276d6f2a04e22a683f76c885279276a9b15","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-12T06:22:12.135164Z","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:64591ab9ce00c962dff53a32749ae3e0fec9ed43f24ef24946e49f7ab0cb430a","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-12T06:22:12.135164Z","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:cdd354fecdb39127e01a98bb1b8ec02887ec1fc3dd592d46ea0605855c1f669a","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-09T18:44:56.045647Z","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-12T06:22:12.135164Z","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:b808508a461a1b50e0e1f84d13778632baf9d7abb15138dfe2d9abf7713d3880","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-12T06:22:12.135164Z","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:0d4a0f0a50897f0abd1cb521b458479fdc469282683dc18eaef53b9bb5d3a951","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-12T06:22:12.135164Z","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:2cbc22010bf7dd7c63e2cd8b009b6f11e52bd7c8e8bdd627c40511b78192e04c","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-12T06:22:12.135164Z","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:bb9741c2cd25f62bb0c3c7f2ddd0f7bce64106affd9cbca66f7bd1b9b5147bc0","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-12T06:22:12.135164Z","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:9d8147046adcb88b86a6442155fb56c2de4c5c259b74a05305bcab96cb246c91","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-12T06:22:12.135164Z","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:ea5da96e4c80dbe39407fc3c036d71bb764f04a881922a3d27a7bba6576791a9","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-12T06:22:12.135164Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2603.05131."}