{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3B2AYGRJF4VCKDKWG2II4YUELN","short_pith_number":"pith:3B2AYGRJ","canonical_record":{"source":{"id":"1901.09812","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-28T17:04:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"eed71c920db7ff39249db0745bf7d8bc5c0c7730a6f351a7c55817a39bc5e231","abstract_canon_sha256":"ff08d7925eecd89a09807ef92b83dbed95b038c9b36d217566a853615342ca6e"},"schema_version":"1.0"},"canonical_sha256":"d8740c1a292f2a250d5636908e62845b5ec72df3d15d6f79a1de8634ecd5c5b4","source":{"kind":"arxiv","id":"1901.09812","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.09812","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"arxiv_version","alias_value":"1901.09812v1","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.09812","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"pith_short_12","alias_value":"3B2AYGRJF4VC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3B2AYGRJF4VCKDKW","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3B2AYGRJ","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3B2AYGRJF4VCKDKWG2II4YUELN","target":"record","payload":{"canonical_record":{"source":{"id":"1901.09812","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-28T17:04:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"eed71c920db7ff39249db0745bf7d8bc5c0c7730a6f351a7c55817a39bc5e231","abstract_canon_sha256":"ff08d7925eecd89a09807ef92b83dbed95b038c9b36d217566a853615342ca6e"},"schema_version":"1.0"},"canonical_sha256":"d8740c1a292f2a250d5636908e62845b5ec72df3d15d6f79a1de8634ecd5c5b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:16.629286Z","signature_b64":"MPZj13dxehyWqsQYKI/0224Z4c31WCxQrIz4tAGRJ3pyGNpYHUwtYZqIMPxWtgKq7gNiKeuKP1SNUXtYXUjPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8740c1a292f2a250d5636908e62845b5ec72df3d15d6f79a1de8634ecd5c5b4","last_reissued_at":"2026-05-17T23:55:16.628841Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:16.628841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.09812","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:55:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c2RTW3WDOkj91RL+rMbFd54+LgVjkWxbpep/2AU42OTuF+O/WmHSJ5poLUQ4KPnceuMIlqeJinq4irZrESwdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:40:38.151969Z"},"content_sha256":"1e6326d94a9b2fc92cece1a6c348e51d46019c25f8cf0d90563330dc202eae8e","schema_version":"1.0","event_id":"sha256:1e6326d94a9b2fc92cece1a6c348e51d46019c25f8cf0d90563330dc202eae8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3B2AYGRJF4VCKDKWG2II4YUELN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intuitionistic Non-Normal Modal Logics: A general framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Charles Grellois, Nicola Olivetti, Tiziano Dalmonte","submitted_at":"2019-01-28T17:04:07Z","abstract_excerpt":"We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only one between Necessity and Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. For all logics we provide both a Hilbert axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then give"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.09812","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:55:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZdIDntIqf8ouRFwZmpYDjjnh1ETy4BwCy+SCjwlTxvDasoxWcM6JXEucR/uM5F8EtGUXBY3FTm4RsxUd1SIJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:40:38.152586Z"},"content_sha256":"11ead21fcf0ccf7fb67959fde3d845b2aa3e37a6d6f42b862e3a10d8e492c2c1","schema_version":"1.0","event_id":"sha256:11ead21fcf0ccf7fb67959fde3d845b2aa3e37a6d6f42b862e3a10d8e492c2c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3B2AYGRJF4VCKDKWG2II4YUELN/bundle.json","state_url":"https://pith.science/pith/3B2AYGRJF4VCKDKWG2II4YUELN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3B2AYGRJF4VCKDKWG2II4YUELN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T19:40:38Z","links":{"resolver":"https://pith.science/pith/3B2AYGRJF4VCKDKWG2II4YUELN","bundle":"https://pith.science/pith/3B2AYGRJF4VCKDKWG2II4YUELN/bundle.json","state":"https://pith.science/pith/3B2AYGRJF4VCKDKWG2II4YUELN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3B2AYGRJF4VCKDKWG2II4YUELN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3B2AYGRJF4VCKDKWG2II4YUELN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ff08d7925eecd89a09807ef92b83dbed95b038c9b36d217566a853615342ca6e","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-28T17:04:07Z","title_canon_sha256":"eed71c920db7ff39249db0745bf7d8bc5c0c7730a6f351a7c55817a39bc5e231"},"schema_version":"1.0","source":{"id":"1901.09812","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.09812","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"arxiv_version","alias_value":"1901.09812v1","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.09812","created_at":"2026-05-17T23:55:16Z"},{"alias_kind":"pith_short_12","alias_value":"3B2AYGRJF4VC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3B2AYGRJF4VCKDKW","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3B2AYGRJ","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:11ead21fcf0ccf7fb67959fde3d845b2aa3e37a6d6f42b862e3a10d8e492c2c1","target":"graph","created_at":"2026-05-17T23:55:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only one between Necessity and Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. For all logics we provide both a Hilbert axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then give","authors_text":"Charles Grellois, Nicola Olivetti, Tiziano Dalmonte","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-28T17:04:07Z","title":"Intuitionistic Non-Normal Modal Logics: A general framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.09812","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1e6326d94a9b2fc92cece1a6c348e51d46019c25f8cf0d90563330dc202eae8e","target":"record","created_at":"2026-05-17T23:55:16Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ff08d7925eecd89a09807ef92b83dbed95b038c9b36d217566a853615342ca6e","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-28T17:04:07Z","title_canon_sha256":"eed71c920db7ff39249db0745bf7d8bc5c0c7730a6f351a7c55817a39bc5e231"},"schema_version":"1.0","source":{"id":"1901.09812","kind":"arxiv","version":1}},"canonical_sha256":"d8740c1a292f2a250d5636908e62845b5ec72df3d15d6f79a1de8634ecd5c5b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8740c1a292f2a250d5636908e62845b5ec72df3d15d6f79a1de8634ecd5c5b4","first_computed_at":"2026-05-17T23:55:16.628841Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:16.628841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MPZj13dxehyWqsQYKI/0224Z4c31WCxQrIz4tAGRJ3pyGNpYHUwtYZqIMPxWtgKq7gNiKeuKP1SNUXtYXUjPCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:16.629286Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.09812","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e6326d94a9b2fc92cece1a6c348e51d46019c25f8cf0d90563330dc202eae8e","sha256:11ead21fcf0ccf7fb67959fde3d845b2aa3e37a6d6f42b862e3a10d8e492c2c1"],"state_sha256":"3630612f1f00dfbe97924cb02e9576f8c261416c67e4018c6f7e49694db5b3e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FOQI5+BsaHIJYSRf/jVljK1Ym9MwAY4T2X+sjyyt1vP7V1d1d1FkB8gAQnWtFpO1QG+ZnrJCta+eOLM3j2uZBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T19:40:38.155761Z","bundle_sha256":"e6f014be9b658727cbf1eae9db2c9621956fe26be65080b18f1c8096810df996"}}