{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:YHHV3B6FFM74MIDK364SLEOMA4","short_pith_number":"pith:YHHV3B6F","schema_version":"1.0","canonical_sha256":"c1cf5d87c52b3fc6206adfb92591cc072ce91f2e8a5d19832f9c8462d6a3479e","source":{"kind":"arxiv","id":"1703.02193","version":1},"attestation_state":"computed","paper":{"title":"Deterministic Temporal Logics and Interval Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Chennai), Kamal Lodaya (The Institute of Mathematical Sciences, Mumbai), Paritosh K. Pandya (Tata Institute of Fundamental Research","submitted_at":"2017-03-07T03:15:29Z","abstract_excerpt":"In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability. In this tutorial, we will illustrate the study of such questions over finite word models, first with logics for Unambiguous Starfree Regular Languages (UL), originally defined by Schutzenberger, and then for extensions with constraints, which appear in interval logics. We present Deterministic temporal logics, with diverse sets of modalities, which also characterize UL. The tools and techniques used go under t"},"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":"1703.02193","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:15:29Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"eb195fc8c93778f5f4ec992d1301426170d6a244ae7abc06517f6b9fa1462b88","abstract_canon_sha256":"0465135020d87b35f67534211387d584337dfe686aae973a3b2714be81fd890a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:20.533049Z","signature_b64":"0SPA8SfefPzZtQ29YZkl0MquoUmempqPYAxjhHIAE2s77VnVhT3SgAATcGE/v0y+W8vuu+19pQLPNYSEEQlwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1cf5d87c52b3fc6206adfb92591cc072ce91f2e8a5d19832f9c8462d6a3479e","last_reissued_at":"2026-05-18T00:49:20.532688Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:20.532688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deterministic Temporal Logics and Interval Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Chennai), Kamal Lodaya (The Institute of Mathematical Sciences, Mumbai), Paritosh K. Pandya (Tata Institute of Fundamental Research","submitted_at":"2017-03-07T03:15:29Z","abstract_excerpt":"In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability. In this tutorial, we will illustrate the study of such questions over finite word models, first with logics for Unambiguous Starfree Regular Languages (UL), originally defined by Schutzenberger, and then for extensions with constraints, which appear in interval logics. We present Deterministic temporal logics, with diverse sets of modalities, which also characterize UL. The tools and techniques used go under t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.02193","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1703.02193","created_at":"2026-05-18T00:49:20.532744+00:00"},{"alias_kind":"arxiv_version","alias_value":"1703.02193v1","created_at":"2026-05-18T00:49:20.532744+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.02193","created_at":"2026-05-18T00:49:20.532744+00:00"},{"alias_kind":"pith_short_12","alias_value":"YHHV3B6FFM74","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_16","alias_value":"YHHV3B6FFM74MIDK","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_8","alias_value":"YHHV3B6F","created_at":"2026-05-18T12:31:56.362134+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/YHHV3B6FFM74MIDK364SLEOMA4","json":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4.json","graph_json":"https://pith.science/api/pith-number/YHHV3B6FFM74MIDK364SLEOMA4/graph.json","events_json":"https://pith.science/api/pith-number/YHHV3B6FFM74MIDK364SLEOMA4/events.json","paper":"https://pith.science/paper/YHHV3B6F"},"agent_actions":{"view_html":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4","download_json":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4.json","view_paper":"https://pith.science/paper/YHHV3B6F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1703.02193&json=true","fetch_graph":"https://pith.science/api/pith-number/YHHV3B6FFM74MIDK364SLEOMA4/graph.json","fetch_events":"https://pith.science/api/pith-number/YHHV3B6FFM74MIDK364SLEOMA4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4/action/storage_attestation","attest_author":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4/action/author_attestation","sign_citation":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4/action/citation_signature","submit_replication":"https://pith.science/pith/YHHV3B6FFM74MIDK364SLEOMA4/action/replication_record"}},"created_at":"2026-05-18T00:49:20.532744+00:00","updated_at":"2026-05-18T00:49:20.532744+00:00"}