Blending margins

Details Blending margins Blending margins

2011-08-31

arxiv.org/abs/1108.6240v1

Computer Science

Logic in Computer Science

9 pages

Scientific paper

We investigate properties of the formula p -> []p in the basic modal logic K.
We show that K satisfies an infinitary weak variant of the rule of margins,
which leads to a description of a complete set of unifiers of p -> []p. Using
this information, we establish that K has nullary unification type. Moreover,
we show that the formula p -> []p is admissibly saturated, but not exact.

Affiliated with

Also associated with

No associations

Rating

Blending margins 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 Blending margins, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Blending margins will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-625798