{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:IFVVC2PIGLHW32AYZWA5C5YF4D","short_pith_number":"pith:IFVVC2PI","schema_version":"1.0","canonical_sha256":"416b5169e832cf6de818cd81d17705e0c96f4f7efc413f6870d636368d97bc2d","source":{"kind":"arxiv","id":"1609.04088","version":1},"attestation_state":"computed","paper":{"title":"Games for Topological Fixpoint Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Clemens Kupke (University of Strathclyde), Nick Bezhanishvili (ILLC, University of Amsterdam)","submitted_at":"2016-09-14T00:58:01Z","abstract_excerpt":"Topological fixpoint logics are a family of logics that admits topological models and where   the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces,   where the fixpoint operators are interpreted via clopen sets.  We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen  fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-play"},"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":"1609.04088","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-14T00:58:01Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"c3b937e3387e2c32a39b02aa2d4e73ff18fdd2fd34644e0bd657b6c0bf9f7007","abstract_canon_sha256":"b2ad4bf97a070c046c4c9ebc968ab342c01648a204f4eee3c31675567e631199"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:40.680433Z","signature_b64":"7ClJvHr9YC/TLtD7bep4F8V643Z0PQjLLCr8TC/3PRd4deM2rIH4wcJ7X09vpq6CMTtEoNzg/IgMK8im/bG5AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"416b5169e832cf6de818cd81d17705e0c96f4f7efc413f6870d636368d97bc2d","last_reissued_at":"2026-05-18T01:04:40.679885Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:40.679885Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Games for Topological Fixpoint Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Clemens Kupke (University of Strathclyde), Nick Bezhanishvili (ILLC, University of Amsterdam)","submitted_at":"2016-09-14T00:58:01Z","abstract_excerpt":"Topological fixpoint logics are a family of logics that admits topological models and where   the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces,   where the fixpoint operators are interpreted via clopen sets.  We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen  fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-play"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04088","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":"1609.04088","created_at":"2026-05-18T01:04:40.679975+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.04088v1","created_at":"2026-05-18T01:04:40.679975+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04088","created_at":"2026-05-18T01:04:40.679975+00:00"},{"alias_kind":"pith_short_12","alias_value":"IFVVC2PIGLHW","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_16","alias_value":"IFVVC2PIGLHW32AY","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_8","alias_value":"IFVVC2PI","created_at":"2026-05-18T12:30:22.444734+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/IFVVC2PIGLHW32AYZWA5C5YF4D","json":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D.json","graph_json":"https://pith.science/api/pith-number/IFVVC2PIGLHW32AYZWA5C5YF4D/graph.json","events_json":"https://pith.science/api/pith-number/IFVVC2PIGLHW32AYZWA5C5YF4D/events.json","paper":"https://pith.science/paper/IFVVC2PI"},"agent_actions":{"view_html":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D","download_json":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D.json","view_paper":"https://pith.science/paper/IFVVC2PI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.04088&json=true","fetch_graph":"https://pith.science/api/pith-number/IFVVC2PIGLHW32AYZWA5C5YF4D/graph.json","fetch_events":"https://pith.science/api/pith-number/IFVVC2PIGLHW32AYZWA5C5YF4D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D/action/storage_attestation","attest_author":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D/action/author_attestation","sign_citation":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D/action/citation_signature","submit_replication":"https://pith.science/pith/IFVVC2PIGLHW32AYZWA5C5YF4D/action/replication_record"}},"created_at":"2026-05-18T01:04:40.679975+00:00","updated_at":"2026-05-18T01:04:40.679975+00:00"}