`Travelled to:`

1 × Austria

1 × Canada

1 × Croatia

1 × Czech Republic

1 × Italy

1 × USA

`Collaborated with:`

L.Tendera ∅ Y.Nenov Y.Kazakov H.d.Nivelle R.Kontchakov M.Zakharyaschev W.Szwast E.Kieronski J.Michaliszyn

`Talks about:`

logic (5) euclidean (2) fragment (2) variabl (2) equival (2) base (2) two (2) elementari (1) interpret (1) procedur (1)

## Person: Ian Pratt-Hartmann

### DBLP: Pratt-Hartmann:Ian

### Contributed to:

### Wrote 7 papers:

- LICS-CSL-2014-Pratt-Hartmann #equivalence #logic
- Logics with counting and equivalence (IPH), p. 10.
- LICS-2012-KieronskiMPT #equivalence #first-order #logic
- Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
- CSL-2010-NenovP #logic #on the
- On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.
- KR-2010-KontchakovPZ #logic
- Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
- LICS-2009-KazakovP #complexity #logic #problem #satisfiability
- A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (YK, IPH), pp. 407–416.
- IJCAR-2001-NivelleP #similarity
- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
- CSL-2016-Pratt-HartmannS
- Quine's Fluted Fragment is Non-Elementary (IPH, WS, LT), p. 21.