A Modal Formulation of McCain and Turner's Theory of Causal Reasoning

Authors:
Graham White
Affiliations:
-
Venue:
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Year:
2002

Citing 6
Cited 0

Introduction to higher order categorical logic

Introduction to higher order categorical logic
Basic proof theory

Basic proof theory
On the logic of causal explanation

Artificial Intelligence
A logic of universal causation

Artificial Intelligence
Cut Elimination for Logics with Definitional Reflection

Proceedings of the International Workshop on Nonclassical Logics and Information Processing
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

McCain and Turner [6] have an interesting theory of causal reasoning. We give a modal treatment of McCain and Turner's theory of causal reasoning: we thereby formulate theories equivalent to their original model-theoretic treatment, while preserving its good properties (in particular, its independence of vocabulary).