Causal Kripke Models

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Causal Kripke Models