Remarks on Inheritance Systems

We try a conceptual analysis of inheritance diagrams, first in abstract terms, and then compare to "normality" and the "small/big sets" of preferential and related reasoning. The main ideas are about nodes as truth values and information sources, truth comparison by paths, accessibility or relevance of information by paths, relative normality, and prototypical reasoning

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

Defeasible inheritance systems and reactive diagrams

We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams

Logical tools for handling change in agent-based systems

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