Causal Kripke Models

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang
7/11/2023
cs.AIcs.LO

No confident code implementation found for this paper.

Abstract

This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality with modal operators, which allows for reasoning about causality in scenarios involving multiple possibilities, temporality, knowledge and uncertainty. We illustrate this with a number of examples, and conclude by discussing some future directions for research.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses

81% match2025

CLadder: Assessing Causal Reasoning in Language Models

80% match1 repo1492023

Learning Local Causal World Models with State Space Models and Attention

80% match2025

Is Knowledge All Large Language Models Needed for Causal Reasoning?

80% match1 repo172023

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

79% match2025

CELLO: Causal Evaluation of Large Vision-Language Models

79% match1 repo222024

Cite this paper

@article{ding2023causal,
  title  = {Causal Kripke Models},
  author = {Yiwen Ding and Krishna Manoorkar and Apostolos Tzimoulis and Ruoding Wang and Xiaolong Wang},
  year   = {2023},
  eprint = {2307.05631},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2307.05631v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2307.05631.svg)](https://codeofpaper.com/paper/2307.05631)

Discussion