Kripke semantics
article-link
What links here
Sahlqvist formula
List of mathematical logic topics
article-link
Saul Kripke
article-link
Sahlqvist correspondence theorem
redirect
WikiHQWikiHQSahlqvist formula
article-link
article-link
article-link
redirect