Modal Logic and the Approximation Induction Principle

Details Modal Logic and the Approximation Induction Principle Modal Logic and the Approximation Induction Principle

2009-11-11

arxiv.org/abs/0911.2035v1

EPTCS 8, 2009, pp. 41-50

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.8.4

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.

Affiliated with

Also associated with

No associations

Rating

Modal Logic and the Approximation Induction Principle does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modal Logic and the Approximation Induction Principle, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modal Logic and the Approximation Induction Principle will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-532844