RefinementAlgebra

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

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