Johan van Benthem

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

Dynamic logic for belief revision

Johan van Benthem · Journal of Applied Non-Classical Logics · 2007 · 398 citations

Humanities, Mathematics, Formal Methods +15

<b>Boolean semantics for natural language</b> . By Edward L. Keenan and Leonard M. Faltz (Synthese language library, 23.) Dordrecht &amp; Boston: Reidel, 1985. Pp. xii, 387. <i>f</i> 145.00

Johan van Benthem · Language · 1986 · 281 citations

Computing, Computer Science, Information Systems +7

Dynamic logic of preference upgrade

Johan van Benthem, Fenrong Liu · 2008 · 266 citations

Computing, Computer Science, Knowledge Management +12