Embedding causal team languages into predicate logic
From MaRDI portal
Publication:2172831
DOI10.1016/j.apal.2022.103159OpenAlexW4283388152MaRDI QIDQ2172831
Pietro Galliani, Fausto Barbero
Publication date: 16 September 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2022.103159
embeddingdependence logicBernays-Schönfinkel-Ramsey fragmentcausal teamsinterventionist counterfactualscyclic causation
Other nonclassical logic (03B60) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Other applications of logic (03B80)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional logics of dependence
- Structural completeness in propositional logics of dependence
- Transition semantics: the dynamics of dependence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Dynamic epistemic logic
- Causation, prediction, and search
- Dependence and independence
- Coherence and computational complexity of quantifier-free dependence logic formulas
- Thinking about causation: a causal language with epistemic operators
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- Generalized quantifiers in dependence logic
- Facets of distribution identities in probabilistic team semantics
- Approximation and Dependence via Multiteam Semantics
- The decision problem for standard classes
- Compositional semantics for a language of imperfect information
- Decidability of predicate logics with team semantics
- FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES
- The classical decision problem.
This page was built for publication: Embedding causal team languages into predicate logic
