{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:VVEZQBBKVFOA44JWISC7PWDS7G","short_pith_number":"pith:VVEZQBBK","schema_version":"1.0","canonical_sha256":"ad4998042aa95c0e71364485f7d872f99f1e2da74fcb10b9101057e44a49a6c2","source":{"kind":"arxiv","id":"1411.6452","version":3},"attestation_state":"computed","paper":{"title":"Modal Extensions of {\\L}ukasiewicz Logic for Modeling Coalitional Power","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Bruno Teheux, Tom\\'a\\v{s} Kroupa","submitted_at":"2014-11-24T13:57:41Z","abstract_excerpt":"Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity functions, respectively. In this paper we generalize the concept of effectivity function beyond the yes/no truth scale. This enables us to describe the situations in which the coalitions assess their effect"},"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":"1411.6452","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-11-24T13:57:41Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1f2f00d7ceb1fffae5b3ed426fade2cf160133099ec3183501532cee1676f683","abstract_canon_sha256":"3a171b799b73b8ff37e4d7c3136273383d495728eb10d260595e04228905ff79"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:52.789525Z","signature_b64":"1DomJ1BYIflu23aZdQlih1w75cd1WAB8DwevyR2Vcl/t4+zkDPZF129oQnWOkQXFCEgIQV+PIwoxrosrfcq7Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad4998042aa95c0e71364485f7d872f99f1e2da74fcb10b9101057e44a49a6c2","last_reissued_at":"2026-05-18T00:49:52.788995Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:52.788995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modal Extensions of {\\L}ukasiewicz Logic for Modeling Coalitional Power","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Bruno Teheux, Tom\\'a\\v{s} Kroupa","submitted_at":"2014-11-24T13:57:41Z","abstract_excerpt":"Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity functions, respectively. In this paper we generalize the concept of effectivity function beyond the yes/no truth scale. This enables us to describe the situations in which the coalitions assess their effect"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.6452","kind":"arxiv","version":3},"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":"1411.6452","created_at":"2026-05-18T00:49:52.789074+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.6452v3","created_at":"2026-05-18T00:49:52.789074+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.6452","created_at":"2026-05-18T00:49:52.789074+00:00"},{"alias_kind":"pith_short_12","alias_value":"VVEZQBBKVFOA","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_16","alias_value":"VVEZQBBKVFOA44JW","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_8","alias_value":"VVEZQBBK","created_at":"2026-05-18T12:28:54.890064+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/VVEZQBBKVFOA44JWISC7PWDS7G","json":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G.json","graph_json":"https://pith.science/api/pith-number/VVEZQBBKVFOA44JWISC7PWDS7G/graph.json","events_json":"https://pith.science/api/pith-number/VVEZQBBKVFOA44JWISC7PWDS7G/events.json","paper":"https://pith.science/paper/VVEZQBBK"},"agent_actions":{"view_html":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G","download_json":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G.json","view_paper":"https://pith.science/paper/VVEZQBBK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.6452&json=true","fetch_graph":"https://pith.science/api/pith-number/VVEZQBBKVFOA44JWISC7PWDS7G/graph.json","fetch_events":"https://pith.science/api/pith-number/VVEZQBBKVFOA44JWISC7PWDS7G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G/action/storage_attestation","attest_author":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G/action/author_attestation","sign_citation":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G/action/citation_signature","submit_replication":"https://pith.science/pith/VVEZQBBKVFOA44JWISC7PWDS7G/action/replication_record"}},"created_at":"2026-05-18T00:49:52.789074+00:00","updated_at":"2026-05-18T00:49:52.789074+00:00"}