A Primer for Preferential Non-Monotonic Propositional Team Logics
<|reference_start|>A Primer for Preferential Non-Monotonic Propositional Team Logics: This paper considers KLM-style preferential non-monotonic reasoning in the setting of propositional team semantics. We show that team-based propositional logics naturally give rise to cumulative non-monotonic entailment relations. Motivated by the non-classical interpretation of disjunction in team semantics, we give a precise characterization for preferential models for propositional dependence logic satisfying all of System P postulates. Furthermore, we show how classical entailment and dependence logic entailment can be expressed in terms of non-trivial preferential models.<|reference_end|>
@article{sauerwald2024a,
    title={A Primer for Preferential Non-Monotonic Propositional Team Logics},
    author={Kai Sauerwald and Juha Kontinen},
    journal={arXiv preprint arXiv:2405.06973},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.06973},
    primaryClass={cs.AI cs.LO}
}