Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Possible and impossible conditionals for team logics
Fausto Barbero, Fan Yang
We study whether a logic based on team semantics can be enriched with a conditional satisfying minimal requirements, such as preservation of the closure property of the logic, Modu…
math.LO2025
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
Aleksi Anttila, Rosalie Iemhoff, Fan Yang
We introduce a sequent calculus for the propositional team logic with both the split disjunction and the inquisitive disjunction consisting of a Gentzen-style system (G3-like) for…
math.LO2023
Axiomatizing modal inclusion logic and its variants
Aleksi Anttila, Matilda Häggblom, Fan Yang
We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal for…