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:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“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)