Cover Image

Intuitionistic $j$-Do-Calculus in Topos Causal Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mahadevan, Sridhar
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Topos Causal Models
by: Mahadevan, Sridhar
Published: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
by: Tarau, Paul
Published: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
by: An, Chenyang, et al.
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
by: Goertzel, Ben
Published: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
by: Xu, Lyris, et al.
Published: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
by: Hofmann, Till, et al.
Published: (2024)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
by: Gao, Han, et al.
Published: (2025)

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

Decentralized Causal Discovery using Judo Calculus
by: Mahadevan, Sridhar
Published: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
by: Foldvik, Simon
Published: (2026)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
by: Bläser, Markus, et al.
Published: (2025)

Abstracting Situation Calculus Action Theories
by: Banihashemi, Bita, et al.
Published: (2024)

Topos Theory for Generative AI and LLMs
by: Mahadevan, Sridhar
Published: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

Subjective Causality
by: Halpern, Joseph Y., et al.
Published: (2024)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
by: Bertossi, Leopoldo
Published: (2026)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
by: Dasgupta, Sopam, et al.
Published: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

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