4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 4 cited
Expressiveness and Completeness in Abstraction
Maciej Gazda, Tim A. C. Willemse
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according t…
cs.LO2009
Modal Logic and the Approximation Induction Principle
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…