Propositional union closed team logics
Logic
2022-02-16 v3
Abstract
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.
Keywords
Cite
@article{arxiv.2008.10324,
title = {Propositional union closed team logics},
author = {Fan Yang},
journal= {arXiv preprint arXiv:2008.10324},
year = {2022}
}