Pages that link to "Item:Q2883116"
From MaRDI portal
The following pages link to Modal logic and the approximation induction principle (Q2883116):
Displaying 6 items.
- Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- (Q4018076) (← links)
- Modal Logic and Equality for Process Algebra (Q4870069) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)