M
odal_
L
ogics_for_
N
T
S
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