Reasoning about knowledge and causality

This paper proposes a new formalism, CTOL, resulting from the integration of OL-nonmonotonic logic of only knowing which models the agent´s static knowledge when isolated from his/her environment- into CT -the causal theory based on the idea that nonmonotonic deduction must be modeled naturally by giving certain norms in the world. Thereby we provide a framework to reason about knowledge and causality.