Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Sahlqvist formula

Known as: Kracht's theorem, Sahlqvist correspondence theorem 
In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that… Expand
Wikipedia

Related topics

Related topics

4 relations
Church–Rosser theoremFirst-order logicKripke semanticsModal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Kracht putten uit kwetsbaarheid en complexiteit : Naar een eerste duiding van de identiteit en missie van Social Work aan Hogeschool Utrecht
Een bezinning op de identiteit en de positie van het Instituut voor Social Work van Hogeschool Utrecht. 
Is this relevant?
2012
2012
Sahlqvist Correspondence for Modal mu-calculus
We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them. 
Is this relevant?
2012
2012
Sahlqvist Theorems for Precontact Logics
Precontact logics are propositional modal logics that have been recently considered in order to obtain decidable fragments of the… Expand
Is this relevant?
2010
2010
Stille Kracht [Bespreking van het boek De Stille Kracht: commissie toekomst stadsregionale samenwerking]
 
Is this relevant?
2010
2010
Toekomstbeelden Vensterschool Koorenspoor
Onderzoek naar toekomstbeelden van ouders, kinderen, leerkrachten, pedagogisch medewerkers, sociaal-verpleegkundigen en… Expand
Is this relevant?
2009
2009
An extension of Kracht's theorem to generalized Sahlqvist formulas
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Elementary canonical formulae: extending Sahlqvist's theorem
Abstract We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so… Expand
Is this relevant?
2005
2005
Hybrid logics with Sahlqvist axioms
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Fusions of Modal Logics Revisited
The fusion Ll Lr of two normal modal logics formulated in languages with disjoint sets of modal operators is the smallest normal… Expand
Is this relevant?
1975
1975
The larval dwelling and feeding structure of Macronema transversum (Walker) (Trichoptera: Hydropsychidae)
Abstract Trichopteran larvae ( Macronema transversum ) construct a feeding chamber and larval retreat of sand and silk on stones… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE