Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics.

Christoph Beierle

Browse the full SAC paper archive.