Modal logic is the foundation for a versatile and well-established class of knowledge
representation formalisms in artificial intelligence. Enriching modal logics with non …

We provide a logical representation of Pearl's structural causal models in the causal
calculus of McCain and Turner (1997) and its first-order generalization by Lifschitz. It will be …

In this paper we present a new approach to reasoning about actions and causation which is
based on a conditional logic. The conditional implication is interpreted as causal implication …

We introduce logical formalisms of production and causal inference relations based on
input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383–408] …

Cerebral aneurysms and arteriovenous malformations (AVMs) are well‐known sources of
intracranial hemorrhage, but can also manifest as other clinical symptoms or remain …

Nonmonotonic logics are usually characterized by the presence of some notion
of'conditional'that fails monotonicity. Research on nonmonotonic logics is therefore largely …

There has been considerable work on practical reasoning in artificial intelligence and also in
philosophy. Typically, such reasoning includes premises regarding means–end relations. A …

In this work we propose an encoding of Reiter's Situation Calculus solution to the frame
problem into the framework of a simple multimodal logic of actions. In particular we present …

Traditionally, consistency is the only criterion for the quality of a theory in logic-based
approaches to reasoning about actions. This work goes beyond that and contributes to the …

The aim of this book is to present a formal theory of action and to show the relations of this
theory with logic and other disciplines. The book concerns the semantic, mathematical, and …