Definition
A modal general frame is a triple, where is a Kripke frame (i.e., R is a binary relation on the set F), and V is a set of subsets of F which is closed under
- the Boolean operations of (binary) intersection, union, and complement,
- the operation, defined by .
The purpose of V is to restrict the allowed valuations in the frame: a model based on the Kripke frame is admissible in the general frame F, if
- for every propositional variable p.
The closure conditions on V then ensure that belongs to V for every formula A (not only a variable).
A formula A is valid in F, if for all admissible valuations, and all points . A normal modal logic L is valid in the frame F, if all axioms (or equivalently, all theorems) of L are valid in F. In this case we call F an L-frame.
A Kripke frame may be identified with a general frame in which all valuations are admissible: i.e., where denotes the power set of F.
Read more about this topic: General Frame
Famous quotes containing the word definition:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)