A New Modal Lindström Theorem

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

Humanities, Computer Science, Formal Methods +11

Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, Frank Wolter · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 426 citations

Humanities, Computer Science, Mathematics +12

Interpolation, preservation, and pebble games

Jon Barwise, Johan van Benthem · Journal of Symbolic Logic · 1999 · 52 citations

Natural Sciences, Computer Science, Mathematics +10

Guards, Bounds, and Generalized Semantics

Johan van Benthem · Journal of Logic Language and Information · 2005 · 18 citations

Computing, Computer Science, Formal Methods +10