{"paper":{"title":"The Propositional Logic of Team Properties","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Fredrik Engstr\\\"om, Orvar Lorimer-Olsson","submitted_at":"2023-03-24T14:27:38Z","abstract_excerpt":"Since its introduction by Hodges and refinement by V\\\"a\\\"an\\\"anen, team semantic constructions have been used to generate expressively enriched logics preserving some desirable properties, such as compactness or decidability. By contrast, these logics fail to be substitutional, limiting any algebraic treatment and rendering schematic uniform proof systems impossible. This shortcoming can be attributed to the flatness principle, commonly adhered to when generating team semantics.\n  Investigating the formation of team semantics from algebraic semantics, and disregarding the flatness principle, w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.14022","kind":"arxiv","version":4},"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/2303.14022/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"}