Causal Kripke models

DOI10.1007/S11229-025-05223-ZMaRDI QIDQ7228994zbMATH OpenFDO

Authors Yi Wen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Xiaolong Wang

Publication date 15 April 2026

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11229-025-05223-Z

zbMATH Keywords

causal modelcounter-factknowledgeKripke frame

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Cites work

• A glance at causality theories for artificial intelligence
• A logical approach to doxastic causal reasoning
• Actual causality
• Causal Kripke Models
• Causal reasoning for safety in Hennessy Milner logic
• Causality checking for complex system models
• Causality for Machine Learning
• Causality. Models, reasoning, and inference
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• Explaining counterexamples using causality
• scientific article; zbMATH DE number 1467490 (Why is no real title available?)
• scientific article; zbMATH DE number 7368435 (Why is no real title available?)
• Observing interventions: a logic for thinking about experiments
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The book of why. The new science of cause and effect
• Thinking about causation: a causal language with epistemic operators
• What causes a system to satisfy a specification?

This page was built for publication: Causal Kripke models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7228994)