Search Results for author: Ruoding Wang

Found 1 papers, 0 papers with code

Causal Kripke Models

no code implementations11 Jul 2023 Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang

This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment.

Cannot find the paper you are looking for? You can Submit a new open access paper.