Modal Logic and the Approximation Induction Principle
Logic in Computer Science
2009-11-12 v1
Abstract
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 Principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators.
Keywords
Cite
@article{arxiv.0911.2035,
title = {Modal Logic and the Approximation Induction Principle},
author = {Maciej Gazda and Wan Fokkink},
journal= {arXiv preprint arXiv:0911.2035},
year = {2009}
}