Causal Kripke Models

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publicationEPTCS 379 Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge Oxford, United Kingdom, 28-30th June 2023
EditorsRineke Verbruggen
Pages185-200
Number of pages16
DOIs
Publication statusPublished - 2023
Event19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023 - Oxford, United Kingdom
Duration: 28 Jun 202330 Jun 2023

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
Volume379
ISSN (Print)2075-2180

Conference

Conference19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023
Country/TerritoryUnited Kingdom
CityOxford
Period28/06/2330/06/23

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.

Fingerprint

Dive into the research topics of 'Causal Kripke Models'. Together they form a unique fingerprint.

Cite this