The following pages link to (Q4636025):
Displaying 7 items.
- Refinement modal logic (Q476194) (← links)
- Structural Refinement for the Modal nu-Calculus (Q2938159) (← links)
- (Q3822144) (← links)
- (Q4787880) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- (Q5240591) (← links)
- Algebraic Methodology and Software Technology (Q5312995) (← links)