Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,276,762 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.
2018
2018
Two decision problems in Contact Logics
P. Balbiani
,
Ç. Gencer
,
Zafer Özdemir
Logic Journal of the IGPL
2018
Corpus ID: 67751506
Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science…
Expand
2016
2016
Power and Limits of Structural Display Rules
A. Ciabattoni
,
Revantha Ramanayake
ACM Transactions on Computational Logic
2016
Corpus ID: 11739524
What can (and cannot) be expressed by structural display rules? Given a display calculus, we present a systematic procedure for…
Expand
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
Sahlqvist Theorems for Precontact Logics
P. Balbiani
,
S. Kikot
Advances in Modal Logic
2012
Corpus ID: 7943072
Precontact logics are propositional modal logics that have been recently considered in order to obtain decidable fragments of the…
Expand
2010
2010
Stille Kracht [Bespreking van het boek De Stille Kracht: commissie toekomst stadsregionale samenwerking]
M. Herweijer
2010
Corpus ID: 192772125
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
2005
2005
Hybrid logics with Sahlqvist axioms
B. T. Cate
,
maarten marx
,
Petrucio Viana
Logic Journal of the IGPL
2005
Corpus ID: 1838732
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach…
Expand
1975
1975
The larval dwelling and feeding structure of Macronema transversum (Walker) (Trichoptera: Hydropsychidae)
James Buchanan Wallace
,
F. Sherberger
Animal Behaviour
1975
Corpus ID: 53201256
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
or Only Accept Required