Operations and Morphisms On Frames
Every Kripke model induces the general frame, where V is defined as
The fundamental truth-preserving operations of generated subframes, p-morphic images, and disjoint unions of Kripke frames have analogues on general frames. A frame is a generated subframe of a frame, if the Kripke frame is a generated subframe of the Kripke frame (i.e., G is a subset of F closed upwards under R, and S is the restriction of R to G), and
A p-morphism (or bounded morphism) is a function from F to G which is a p-morphism of the Kripke frames and, and satisfies the additional constraint
- for every .
The disjoint union of an indexed set of frames, is the frame, where F is the disjoint union of, R is the union of, and
The refinement of a frame is a refined frame defined as follows. We consider the equivalence relation
and let be the set of equivalence classes of . Then we put
Read more about this topic: General Frame
Famous quotes containing the words operations and/or frames:
“It may seem strange that any road through such a wilderness should be passable, even in winter, when the snow is three or four feet deep, but at that season, wherever lumbering operations are actively carried on, teams are continually passing on the single track, and it becomes as smooth almost as a railway.”
—Henry David Thoreau (1817–1862)
“In frames as large as rooms that face all ways
And block the ends of streets with giant loaves,
Screen graves with custard, cover slums with praise
Of motor-oil and cuts of salmon, shine
Perpetually these sharply-pictured groves
Of how life should be.”
—Philip Larkin (1922–1986)