Sahlqvist Formula - Examples of Sahlqvist Formulas

Examples of Sahlqvist Formulas

Its first-order corresponding formula is, and it defines all reflexive frames
Its first-order corresponding formula is, and it defines all symmetric frames
or
Its first-order corresponding formula is, and it defines all transitive frames
or
Its first-order corresponding formula is, and it defines all dense frames
Its first-order corresponding formula is, and it defines all right-unbounded frames (also called serial)
Its first-order corresponding formula is, and it is the Church-Rosser property.

Read more about this topic:  Sahlqvist Formula

Famous quotes containing the words examples of, examples and/or formulas:

    “It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
    —G.C. (Georg Christoph)

    “Histories are more full of examples of the fidelity of dogs than of friends.”
    —Alexander Pope (1688–1744)

    “You treat world history as a mathematician does mathematics, in which nothing but laws and formulas exist, no reality, no good and evil, no time, no yesterday, no tomorrow, nothing but an eternal, shallow, mathematical present.”
    —Hermann Hesse (1877–1962)