Propositional union closed team logics

In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics.

Logic, Reasoning, and Knowledge Semantic Web and Ontologies Advanced Algebra and Logic

View graph Source

Paper

Similar papers

Propositional union closed team logicsFan Yang2022 · Annals of Pure and Applied Logic In Library

Convex Team LogicsAleksi Anttila, Søren Brinck Knudstorp2025 · arXiv (Cornell University) In Library

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team SemanticsMatthias Hoelzel, Richard Wilke2021 · Logical Methods in Computer Science In Library

Capturing dual team properties with inclusion atomsMatilda Häggblom2026 · Open MIND In Library

There are (other) ways to negate in propositional team semanticsFan Yang2024 · arXiv (Cornell University) In Library

The Propositional Logic of Team PropertiesFredrik Engström, Orvar Lorimer Olsson2023 · arXiv (Cornell University) In Library

A Primer for Preferential Non-Monotonic Propositional Team LogicsKai Sauerwald, Juha Kontinen2024 · arXiv (Cornell University) In Library

Possible and impossible conditionals for team logicsFausto Barbero, Fan Yang2026 · arXiv (Cornell University) In Library

Labelled Sequent Calculi for Propositional Team LogicsFausto Barbero, Marianna Girlando, Valentin Müller et al.2026 · Electronic Proceedings in Theoretical Computer Science In Library

Labelled Sequent Calculi for Propositional Team LogicsFausto Barbero, Marianna Girlando, Valentin Müller et al.2026 · arXiv (Cornell University) In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal