Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 210,150,870 papers from all fields of science

Search

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

2017

2017

Possibility semantics [19] (based on [20]) is a generalization of standard Kripke semantics that makes use of a concept of…

2016

2016

What can (and cannot) be expressed by structural display rules? Given a display calculus, we present a systematic procedure for…

2013

2013

WB1630. 1ste jaar Propedeuse. College 18 houdt zich bezig met de stabiliteit van evenwicht. Om deze stabiliteit te kunnen bepalen…

2012

2012

We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.

2012

2012

Precontact logics are propositional modal logics that have been recently considered in order to obtain decidable fragments of the…

2009

2009

Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are…

Highly Cited

2006

Highly Cited

2006

2005

2005

We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach…

Highly Cited

1996

Highly Cited

1996

The fusion Ll Lr of two normal modal logics formulated in languages with disjoint sets of modal operators is the smallest normal…