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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2017
01219952017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper provides a bridge in the gap between the model-theoretic and the algebraic side of modal correspondence theory. We… (More)
Is this relevant?
Review
2017
Review
2017
Anastomotic leak (AL) after colorectal surgery is a catastrophic complication. It results in increased rates of morbidity… (More)
Is this relevant?
2015
2015
Hybrid logics extends modal logic with a special sort of variables, called nominals, which are evaluated to singletons in Kripke… (More)
Is this relevant?
2015
2015
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form ∀x0∃x1… (More)
Is this relevant?
2012
2012
Sahlqvist correspondence theory [3], [4] is one of the most important and useful results of classical modal logic. It gives a… (More)
Is this relevant?
2006
2006
We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called… (More)
Is this relevant?
1995
1995
1. I n t r o d u c t i o n The aim of this note is to explain how a well-known result from Moda~ Logic, S~hlqvist's Theorem, can… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?