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:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)
“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)