Conditionals and modularity in general logics

In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics

Logical tools for handling change in agent-based systems

We give a unified approach to various results and problems of nonclassical logic