RefinementAlgebra

Navigation page for Blueprint/D5/S3/ConceptDynamics/RefinementAlgebra/ at upstream snapshot c1e1716ef741bf4822ce02313bbd7922b2bfd763.

Contents

• Canonical Allowed Reason Meet
• Dominance Event-Algebra Characterization
• Dominance Nontransitivity Countermodel
• Event Separation Characterization
• Refinement and Observable Event Algebras
• Observable-Event Algebra Representation
• Atoms of a Finite Observable-Event Algebra
• Observable-Event Complement Persistence
• Observer Strategy Factorization
• Atoms of the Pullback Algebra
• Refinement and the Pullback Algebra
• Target-Family Essence Monotonicity