Source author record

Fausto Barbero

Fausto Barbero appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO Logic in Computer Science

Catalog footprint

What is connected

3works

2topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Characterizing counterfactuals and dependencies over causal and generalized causal teams

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

preprint2020arXiv

Counterfactuals and dependencies on causal teams: expressive power and deduction systems

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. As an intermediate step towards the completeness, we axiomatize the languages over a generalized version of causal team semantics, which turns out to be interesting also in its own right.

preprint2012arXiv

On existential declarations of independence in IF Logic

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whether a sentence beginning with such prefix exists such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences. The main theorem allows us to describe the behaviour of various particular classes of quantifier prefixes, and to prove as a remarkable corollary that all existential IF sentences are equivalent to first-order sentences. As a further consequence, we prove that the fragment of IF sentences with knowledge memory has only first-order expressive power (up to truth equivalence).