`Travelled to:`

1 × Poland

1 × United Kingdom

3 × USA

`Collaborated with:`

∅ B.t.Cate J.A.Väänänen B.Ó.Nualláin M.d.Rijke

`Talks about:`

logic (4) between (2) lindstrom (1) behaviour (1) fragment (1) theorem (1) program (1) process (1) predict (1) express (1)

## Person: Johan van Benthem

### DBLP: Benthem:Johan_van

### Contributed to:

### Wrote 5 papers:

- IJCAR-2010-Benthem #complexity #logic
- Logic between Expressivity and Complexity (JvB), pp. 122–126.
- LICS-2007-CateBV #first-order #logic #theorem
- Lindstrom theorems for fragments of first-order logic (BtC, JvB, JAV), pp. 280–292.
- SAT-2001-NuallainRB #behaviour #predict #satisfiability
- Ensemble-based prediction of SAT search behaviour (BÓN, MdR, JvB), pp. 278–289.
- LICS-1998-Benthem #logic #process
- Process Operations in Extended Dynamic Logics (JvB), pp. 244–250.
- ISLP-1991-Benthem #logic #programming #reasoning
- Reasoning and Programming: Analogies between Logic and Computation (JvB), pp. 717–718.