Causal Kripke Models
From MaRDI portal
Publication:6199608
DOI10.4204/eptcs.379.16arXiv2307.05631MaRDI QIDQ6199608
Apostolos Tzimoulis, Krishna Manoorkar, Unnamed Author, Xiao-Long Wang, Yi Wen Ding
Publication date: 28 February 2024
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2307.05631
Cites Work
- Explaining counterexamples using causality
- Causality Checking for Complex System Models
- What causes a system to satisfy a specification?
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Causality for Machine Learning
- Observing interventions: a logic for thinking about experiments
- Unnamed Item
- Unnamed Item
- Unnamed Item
