Imagen de Portada

Causal Unfoldings and Disjunctive Causes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de Visme, Marc, Winskel, Glynn
Formato:	Preprint
Publicado:	2020
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Quantum Petri Nets with Event Structure semantics
por: Joachim, Julien Saan, et al.
Publicado: (2025)

Concurrent Strategies on Games with Algebras
por: Huriot-Tattegrain, Sacha, et al.
Publicado: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
por: Montacute, Yoàv, et al.
Publicado: (2024)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
por: Fernandes, Vítor, et al.
Publicado: (2024)

The Tensor-Plus Calculus
por: Chardonnet, Kostia, et al.
Publicado: (2025)

Quantum Petri Nets with Event Structures semantics
por: Joachim, Julien Saan, et al.
Publicado: (2025)

The Many-Worlds Calculus
por: Chardonnet, Kostia, et al.
Publicado: (2022)

Finite Axiomatizability by Disjunctive Existential Rules
por: Calautti, Marco, et al.
Publicado: (2025)

Disjunctions of Two Dependence Atoms
por: Fröhlich, Nicolas, et al.
Publicado: (2025)

Affine Disjunctive Invariant Generation with Farkas' Lemma
por: Ke, Jingyu, et al.
Publicado: (2023)

The Disjunction-Free Fragment of D2 is Three-Valued
por: Omori, Hitoshi
Publicado: (2024)

Unfoldings and coverings of weighted graphs
por: Courcelle, Bruno
Publicado: (2022)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
por: Gatterbauer, Wolfgang
Publicado: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
por: Carette, Titouan, et al.
Publicado: (2025)

Methods for Efficient Unfolding of Colored Petri Nets
por: Bilgram, Alexander, et al.
Publicado: (2022)

Counting Answer Sets of Disjunctive Answer Set Programs
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
por: Hecher, Markus, et al.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
por: Chirica, Ion, et al.
Publicado: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Synthesis of Temporal Causality
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

Closure and Complexity of Temporal Causality
por: Carelli, Mishel, et al.
Publicado: (2025)

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
por: Aguilera-Ventura, Carlos, et al.
Publicado: (2025)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
por: de Jong, Tom
Publicado: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
por: Bernardo, Marco, et al.
Publicado: (2022)

Relational semantics for flat Heyting-Lewis Logic
por: de Groot, Jim, et al.
Publicado: (2026)

Filling in the semantics for intuitionistic conditional logic
por: Dufty, Brendan, et al.
Publicado: (2025)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
por: Bagheri, Abdolmahdi, et al.
Publicado: (2024)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
por: de Groot, Jim, et al.
Publicado: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
por: de Groot, Jim, et al.
Publicado: (2026)

Intrinsic and relative characterization results for logics with negative modalities
por: de Groot, Jim, et al.
Publicado: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

Parameterized Verification of Disjunctive Timed Networks
por: André, Étienne, et al.
Publicado: (2023)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Ultraproducts in abstract categorical logic
por: Aiguier, Marc, et al.
Publicado: (2024)

Reasoning about Quality in Hyperproperties
por: Graepler, Samuel, et al.
Publicado: (2025)