9 citations · 21 across the 13 of their papers we have counts for
16 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…
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…
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…
Characterizing counterfactuals and dependencies over causal and generalized causal teams
Fausto Barbero, Fan Yang
We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies i…
Discussion on phase ambiguity and multiple beam generation in coherent beam combining system
H. Jia, J. Zuo, Q. Bao +11
There exists the phase ambiguity problem in the coherent beam combining (CBC) system with centrosymmetric arrays, which means that multiple different piston aberrations may generat…
Thinking About Causation: A Causal Language with Epistemic Operators
Fausto Barbero, Katrin Schulz, Sonja Smets +2
This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a…
Counterfactuals and dependencies on causal teams: expressive power and deduction systems
Fausto Barbero, Fan Yang
We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies i…
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'…
Team semantics for interventionist counterfactuals and causal dependence
Fausto Barbero, Gabriel Sandu
We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pea…
Some observations about generalized quantifiers in logics of imperfect information
Fausto Barbero
We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, high…
Complexity of syntactical tree fragments of Independence-Friendly logic
Fausto Barbero
A dichotomy result of Sevenster (2014) completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence…
On existential declarations of independence in IF Logic
Fausto Barbero
We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whethe…