Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,061,980 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Church–Rosser theorem
First-order logic
Kripke semantics
Modal 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
D. Postma
,
Raymond Kloppenburg
,
E. Jonge
,
Angelieke Stikkel
2015
Corpus ID: 166196274
Een bezinning op de identiteit en de positie van het Instituut voor Social Work van Hogeschool Utrecht.
2013
2013
Statica: 18. Energie en Evenwicht
G. Janssen
2013
Corpus ID: 230020313
WB1630. 1ste jaar Propedeuse. College 18 houdt zich bezig met de stabiliteit van evenwicht. Om deze stabiliteit te kunnen bepalen…
Expand
2013
2013
De consument is niet de drijvende kracht achter verandering
Stefan Aerts
2013
Corpus ID: 184819794
2012
2012
Order theoretic Correspondence theory for Intuitionistic mu-calculus
Sumit Sourabh
2012
Corpus ID: 16169127
Sahlqvist correspondence theory [3], [4] is one of the most important and useful results of classical modal logic. It gives a…
Expand
2010
2010
Stille Kracht [Bespreking van het boek De Stille Kracht: commissie toekomst stadsregionale samenwerking]
M. Herweijer
2010
Corpus ID: 192772125
2010
2010
Thomashuizen : Kleinschalige zorg voor verstandelijk gehandicapten
F. Nauta
,
Maartje Loncke
2010
Corpus ID: 191912319
Thomashuizen biedt een vorm van commerciele zorg waarbij kleinschalig wonen wordt aangeboden voor verstandelijk gehandicapten via…
Expand
2010
2010
Toekomstbeelden Vensterschool Koorenspoor
A. Kassenberg
,
T. Berg
2010
Corpus ID: 185273914
Onderzoek naar toekomstbeelden van ouders, kinderen, leerkrachten, pedagogisch medewerkers, sociaal-verpleegkundigen en…
Expand
2007
2007
Heat from biomass
J. V. Doorn
,
A. Drift
,
J. Uitzinger
,
E. Derijcke
2007
Corpus ID: 194305708
Groene warmte (duurzaam opgewekte warmte) heeft in tegenstelling tot groene elektriciteit en groene transportbrandstoffen nog…
Expand
2005
2005
Libri ricevuti
Libri ricevuti
Acta diabetologia latina
2005
Corpus ID: 31067938
KRACHT I . : Nebenschilddrüse und endokrine Regulationen des Calciumsloffwechsels. Spontan-Hypoglykämie. Glucagon 14. Symposium…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE