Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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.
2017
2017
Results in modal correspondence theory for possibility semantics
Possibility semantics [19] (based on [20]) is a generalization of standard Kripke semantics that makes use of a concept of… 
2016
2016
Power and Limits of Structural Display Rules
What can (and cannot) be expressed by structural display rules? Given a display calculus, we present a systematic procedure for… 
2013
2013
Statica: 18. Energie en Evenwicht
WB1630. 1ste jaar Propedeuse. College 18 houdt zich bezig met de stabiliteit van evenwicht. Om deze stabiliteit te kunnen bepalen… 
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. 
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… 
2009
2009
An extension of Kracht's theorem to generalized Sahlqvist formulas
  • S. Kikot
  • J. Appl. Non Class. Logics
  • 2009
  • Corpus ID: 7426253
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are… 
Highly Cited
2006
Highly Cited
2006
Elementary canonical formulae: extending Sahlqvist's theorem
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… 
Highly Cited
1996
Highly Cited
1996
Fusions of Modal Logics Revisited
  • F. Wolter
  • Advances in Modal Logic
  • 1996
  • Corpus ID: 17586054
The fusion Ll Lr of two normal modal logics formulated in languages with disjoint sets of modal operators is the smallest normal… 
1975
1975
The larval dwelling and feeding structure of Macronema transversum (Walker) (Trichoptera: Hydropsychidae)
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)