In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states thatâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
- 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

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

- Stanislav Kikot
- 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

- Sumit Sourabh
- 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

- Valentin Goranko, Dimiter Vakarelov
- 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

- Maarten de Rijke, Yde Venema
- 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?