{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:AKLFOXLVW4SKWTRA6IVKVYJOYY","short_pith_number":"pith:AKLFOXLV","schema_version":"1.0","canonical_sha256":"0296575d75b724ab4e20f22aaae12ec6353c60cfad6bed451a17fb7ada703ede","source":{"kind":"arxiv","id":"2606.29444","version":1},"attestation_state":"computed","paper":{"title":"Proceedings of the Sixteenth International Conference on Advances in Modal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Iris van der Giessen, Malvin Gattinger, Marianna Girlando, Marta B\\'ilkov\\'a, Yanjing Wang","submitted_at":"2026-06-28T15:10:35Z","abstract_excerpt":"Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a conference series with volumes arising from the conferences, and has become the flagship international forum for work on all aspects of modal logic. Over the past three decades, AiML has both recorded and helped shape developments across the field, bringing together semantic, proof-theoretic, algebraic, topological, computational, philosophical, and applied perspectives on modal and related logics.\n  Exactly thirty y"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.29444","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-28T15:10:35Z","cross_cats_sorted":[],"title_canon_sha256":"e203d417e8c62e0be348f02cb90cc2f9564ee1b55d8005c9d8188d71fe0e22bf","abstract_canon_sha256":"0d01a04f32679eaae5277383715d3a935fadd74a0793aa9f5d70a9da122fdec8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T01:18:06.726958Z","signature_b64":"mvIAN0hVApuopEsqfPKRVm4pMqgJi6Tj11+/LwaOPFMJ9K/CHyAwzhEH3FwxzcXaoSPp1fNBhr5Ker6Y189gCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0296575d75b724ab4e20f22aaae12ec6353c60cfad6bed451a17fb7ada703ede","last_reissued_at":"2026-06-30T01:18:06.726330Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T01:18:06.726330Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings of the Sixteenth International Conference on Advances in Modal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Iris van der Giessen, Malvin Gattinger, Marianna Girlando, Marta B\\'ilkov\\'a, Yanjing Wang","submitted_at":"2026-06-28T15:10:35Z","abstract_excerpt":"Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a conference series with volumes arising from the conferences, and has become the flagship international forum for work on all aspects of modal logic. Over the past three decades, AiML has both recorded and helped shape developments across the field, bringing together semantic, proof-theoretic, algebraic, topological, computational, philosophical, and applied perspectives on modal and related logics.\n  Exactly thirty y"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29444","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.29444/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.29444","created_at":"2026-06-30T01:18:06.726421+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.29444v1","created_at":"2026-06-30T01:18:06.726421+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29444","created_at":"2026-06-30T01:18:06.726421+00:00"},{"alias_kind":"pith_short_12","alias_value":"AKLFOXLVW4SK","created_at":"2026-06-30T01:18:06.726421+00:00"},{"alias_kind":"pith_short_16","alias_value":"AKLFOXLVW4SKWTRA","created_at":"2026-06-30T01:18:06.726421+00:00"},{"alias_kind":"pith_short_8","alias_value":"AKLFOXLV","created_at":"2026-06-30T01:18:06.726421+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY","json":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY.json","graph_json":"https://pith.science/api/pith-number/AKLFOXLVW4SKWTRA6IVKVYJOYY/graph.json","events_json":"https://pith.science/api/pith-number/AKLFOXLVW4SKWTRA6IVKVYJOYY/events.json","paper":"https://pith.science/paper/AKLFOXLV"},"agent_actions":{"view_html":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY","download_json":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY.json","view_paper":"https://pith.science/paper/AKLFOXLV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.29444&json=true","fetch_graph":"https://pith.science/api/pith-number/AKLFOXLVW4SKWTRA6IVKVYJOYY/graph.json","fetch_events":"https://pith.science/api/pith-number/AKLFOXLVW4SKWTRA6IVKVYJOYY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY/action/storage_attestation","attest_author":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY/action/author_attestation","sign_citation":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY/action/citation_signature","submit_replication":"https://pith.science/pith/AKLFOXLVW4SKWTRA6IVKVYJOYY/action/replication_record"}},"created_at":"2026-06-30T01:18:06.726421+00:00","updated_at":"2026-06-30T01:18:06.726421+00:00"}