Examples of Non-Sahlqvist Formulas
- This is the McKinsey formula; it does not have a first-order frame condition.
- The Löb axiom is not Sahlqvist; again, it does not have a first-order frame condition.
- The conjunction of the McKinsey formula and the (4) axiom has a first-order frame condition but is not equivalent to any Sahlqvist formula.
Read more about this topic: Sahlqvist Formula
Famous quotes containing the words examples of, examples and/or formulas:
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)
“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)
“It is sentimentalism to assume that the teaching of life can always be fitted to the child’s interests, just as it is empty formalism to force the child to parrot the formulas of adult society. Interests can be created and stimulated.”
—Jerome S. Bruner (20th century)