12 citations · 41 across the 8 of their papers we have counts for
1 paper · 1 filter
Maciej Gazda, Wan Fokkink
We prove a compactness theorem in the context of Hennessy-Milner logic. It is used to derive a sufficient condition on modal characterizations for the Approximation Induction Princ…