Possible and impossible conditionals for team logics
Logic
2026-03-03 v1
Abstract
We study whether a logic based on team semantics can be enriched with a conditional satisfying minimal requirements--namely, preservation of the closure property of the logic, Modus Ponens, and the Deduction Theorem. We show that such well-behaved conditionals exist for downward or upward closed logics, but do not typically exist for union closed, convex or intersection closed logics. We also briefly investigate conditionals satisfying weaker requirements.
Keywords
Cite
@article{arxiv.2603.02136,
title = {Possible and impossible conditionals for team logics},
author = {Fausto Barbero and Fan Yang},
journal= {arXiv preprint arXiv:2603.02136},
year = {2026}
}