Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,150,870 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.
2017
2017
Results in modal correspondence theory for possibility semantics
Kentarô Yamamoto
Journal of Logic and Computation
2017
Corpus ID: 11658306
Possibility semantics [19] (based on [20]) is a generalization of standard Kripke semantics that makes use of a concept of…
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
2013
2013
Statica: 18. Energie en Evenwicht
Gesine 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
2012
2012
Sahlqvist Correspondence for Modal mu-calculus
J. Benthem
,
N. Bezhanishvili
,
I. Hodkinson
Studia Logica: An International Journal for…
2012
Corpus ID: 1290972
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
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
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…
Expand
Highly Cited
2006
Highly Cited
2006
Elementary canonical formulae: extending Sahlqvist's theorem
V. Goranko
,
D. Vakarelov
Annals of Pure and Applied Logic
2006
Corpus ID: 18797620
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
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…
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