Summary
- Define weak modality (using disjunction) and derive (rather than postulate) its semantics
The file was modified | thys/Modal_Logics_for_NTS/Weak_Bisimilarity_Implies_Equivalence.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/Weak_Equivalence_Implies_Bisimilarity.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/Weak_Formula.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/Weak_Logical_Equivalence.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/Weak_Transition_System.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/Weak_Validity.thy (diff) |