In modal logic, Sahlqvist formulas are a class of modal formulas with notable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical and corresponds to a class of Kripke frames that is definable by a first-order formula. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
In Branch
Source Sahlqvist formula (Wikipedia)
Sources
1. Sahlqvist formula (Wikipedia)
Lead section
In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties.
In Group: Mathematical Logic and Model Theory, Article text
In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties.
In Branch: Logic and Foundations, Lead sentence
In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.