activity
20232026
most citedAxiomatizing modal inclusion logic and its variants

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Labelled Sequent Calculi for Propositional Team Logics

Fausto Barbero, Marianna Girlando, Valentin Müller +1

Team semantics is a general framework where formulas are not interpreted with respect to a single point of evaluation, but with respect to sets of such points. Team semantics is us…

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…