Causal Kripke Models

Yiwen Ding; Krishna Manoorkar; Apostolos Tzimoulis; Ruoding Wang; Xiaolong Wang

doi:10.4204/EPTCS.379.16

Causal Kripke Models

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang

Ethics, Governance and Society

Research output: Contribution to Journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	185-200
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Volume	379
Early online date	11 Jul 2023
DOIs	https://doi.org/10.4204/EPTCS.379.16
Publication status	Published - 2023
Event	19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023 - Oxford, United Kingdom Duration: 28 Jun 2023 → 30 Jun 2023

Bibliographical note

Funding Information:
*This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627. †Yiwen Ding, Ruoding Wang and Xiaolong Wang are supported by the China Scholarship Council ‡Krishna Manoorkar is supported by the NWO grant KIVI.2019.001 awarded to Alessandra Palmigiano.

Publisher Copyright:
© Ding, Manoorkar, Tzimoulis, Wang, Wang.

Funding

*This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627. †Yiwen Ding, Ruoding Wang and Xiaolong Wang are supported by the China Scholarship Council ‡Krishna Manoorkar is supported by the NWO grant KIVI.2019.001 awarded to Alessandra Palmigiano.

Access to Document

10.4204/EPTCS.379.16

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.16

Persistent URL (handle)

Persistent link

Cite this

@article{8c7d5b3d633d4be8b303b60c185ad513,

title = "Causal Kripke Models",

abstract = "This work extends Halpern and Pearl{\textquoteright}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.",

author = "Yiwen Ding and Krishna Manoorkar and Apostolos Tzimoulis and Ruoding Wang and Xiaolong Wang",

note = "Funding Information: *This project has received funding from the European Union{\textquoteright}s Horizon 2020 research and innovation programme under the Marie Sk{\l}odowska-Curie grant agreement No 101007627. †Yiwen Ding, Ruoding Wang and Xiaolong Wang are supported by the China Scholarship Council ‡Krishna Manoorkar is supported by the NWO grant KIVI.2019.001 awarded to Alessandra Palmigiano. Publisher Copyright: {\textcopyright} Ding, Manoorkar, Tzimoulis, Wang, Wang.; 19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023 ; Conference date: 28-06-2023 Through 30-06-2023",

year = "2023",

doi = "10.4204/EPTCS.379.16",

language = "English",

volume = "379",

pages = "185--200",

journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Causal Kripke Models

AU - Ding, Yiwen

AU - Manoorkar, Krishna

AU - Tzimoulis, Apostolos

AU - Wang, Ruoding

AU - Wang, Xiaolong

N1 - Funding Information: *This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627. †Yiwen Ding, Ruoding Wang and Xiaolong Wang are supported by the China Scholarship Council ‡Krishna Manoorkar is supported by the NWO grant KIVI.2019.001 awarded to Alessandra Palmigiano. Publisher Copyright: © Ding, Manoorkar, Tzimoulis, Wang, Wang.

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85168683506

UR - https://www.scopus.com/inward/citedby.url?scp=85168683506&partnerID=8YFLogxK

UR - https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?TARK2023

U2 - 10.4204/EPTCS.379.16

DO - 10.4204/EPTCS.379.16

M3 - Article

AN - SCOPUS:85168683506

SN - 2075-2180

VL - 379

SP - 185

EP - 200

JO - Electronic Proceedings in Theoretical Computer Science (EPTCS)

JF - Electronic Proceedings in Theoretical Computer Science (EPTCS)

T2 - 19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023

Y2 - 28 June 2023 through 30 June 2023

ER -

Causal Kripke Models

Abstract

Bibliographical note

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Causal Kripke models

Cite this