Sahlqvist formula
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
- J. Log. Algebr. Meth. Program.
- 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
- 2017
Anastomotic leak (AL) after colorectal surgery is a catastrophic complication. It results in increased rates of morbidity… (More)
Is this relevant?
2015
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
- Studia Logica
- 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
- 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
- Ann. Pure Appl. Logic
- 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
- Studia Logica
- 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)
Is this relevant?