9 citations · 21 across the 13 of their papers we have counts for
6 papers · 1 filter
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…
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…
Multiteam semantics for interventionist counterfactuals: probabilities and causation
Fausto Barbero, Gabriel Sandu
In [4], we introduced an extension of team semantics (causal teams) which assigns an interpretation to interventionist counterfactuals and causal notions based on them (as e.g. in…
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
Fausto Barbero, Jonni Virtema
Causal multiteam semantics is a framework where probabilistic notions and causal inference can be studied in a unified setting. We study a logic (PCO) that features marginal probab…
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…
Interventionist Counterfactuals on Causal Teams
Fausto Barbero, Gabriel Sandu
We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward'…