First-Order Modal Logic: Frame Definability and a Lindström Theorem

On Extensions of Elementary Logic

Per Lindström · Theoria · 1969 · 341 citations

Humanities, Computer Science, Mathematics +11

Inductive Continuity via Brouwer Trees

Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · 2008 · 68 citations · Full text

Natural Sciences, Computer Science, Mathematics +8

Interpolation for extended modal languages

Balder ten Cate · Journal of Symbolic Logic · 2005 · 50 citations

Humanities, Computer Science, Mathematics +10

A New Modal Lindström Theorem

Johan van Benthem · Logica Universalis · 2006 · 25 citations

Humanities, Mathematics, Stochastic Processes +4

A Lindström theorem for modal logic

Maarten de Rijke · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1994 · 20 citations · Full text

Humanities, Mathematics, Formal Methods +6