2 citations · 2 across the 3 of their papers we have counts for
5 papers
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…
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Fausto Barbero, Jonni Virtema
Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be formalized together and studied logically. We di…
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…
Two strong undefinability results in inquisitive and team semantics
Fausto Barbero
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic imp…
Axiomatizations of causal reasoning under indeterministic causal laws
Fausto Barbero
We investigate the generalization of causal models to the case of indeterministic causal laws that was suggested in Halpern (2000). We give an overview of what differences in model…