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:
2010
2007
20011998
1991Wrote 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.