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:
“Plot, rules, nor even poetry, are not half so great beauties in tragedy or comedy as a just imitation of nature, of character, of the passions and their operations in diversified situations.”
—Horace Walpole (17171797)
“... though it is by no means requisite that the American women should emulate the men in the pursuit of the whale, the felling of the forest, or the shooting of wild turkeys, they might, with advantage, be taught in early youth to excel in the race, to hit a mark, to swim, and in short to use every exercise which could impart vigor to their frames and independence to their minds.”
—Frances Wright (17951852)