Nominal_Bounded_Set

Nominal_Wellfounded

Residual

Transition_System

Formula

Validity

Logical_Equivalence

Bisimilarity_Implies_Equivalence

Equivalence_Implies_Bisimilarity

Disjunction

Expressive_Completeness

FS_Set

FL_Transition_System

FL_Formula

FL_Validity

FL_Logical_Equivalence

FL_Bisimilarity_Implies_Equivalence

FL_Equivalence_Implies_Bisimilarity

L_Transform

Weak_Transition_System

Weak_Formula

Weak_Validity

Weak_Logical_Equivalence

Weak_Bisimilarity_Implies_Equivalence

Weak_Equivalence_Implies_Bisimilarity

Weak_Expressive_Completeness

S_Transform