Image de couverture de livre

On the logic of interventionist counterfactuals under indeterministic causal laws

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Barbero, Fausto
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science Logic Statistics Theory 62D20 (Primary), 03A10, 03B70 (Secondary) F.4.3; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A logical framework for data-driven reasoning
par: Baldi, Paolo, et autres
Publié: (2024)

Uniform Interpolation
par: van Gool, Sam
Publié: (2025)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Schnorr Randomness and Effective Bayesian Consistency and Inconsistency
par: Huttegger, Simon M., et autres
Publié: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)

Modal logic, fundamentally
par: Holliday, Wesley H.
Publié: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
par: Sochański, Michał, et autres
Publié: (2025)

Determination of the fifth Busy Beaver value
par: The bbchallenge Collaboration, et autres
Publié: (2025)

Two strong undefinability results in inquisitive and team semantics
par: Barbero, Fausto
Publié: (2024)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Univalent Material Set Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2023)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

Stratifiable formulae are not context-free
par: Ryan-Smith, Calliope
Publié: (2023)

Bounded Model Checking for Unbounded Client Server Systems
par: Phawade, Ramchandra, et autres
Publié: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2023)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026)

Logics of polyhedral reachability
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Towards Weak Stratification for Logics of Definitions
par: Guermond, Nathan
Publié: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Defeasible Reasoning via Datalog$^\neg$
par: Maher, Michael J.
Publié: (2021)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
par: Lau, Desmond
Publié: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Topological Logics with Connectedness over Euclidean Spaces
par: Kontchakov, Roman, et autres
Publié: (2011)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

Morita Rigidity for Kleene Algebras
par: Serafin, Luke
Publié: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Continuations and Completeness in Proof-theoretic Semantics
par: Gu, Tao, et autres
Publié: (2026)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)