`Travelled to:`

1 × Croatia

1 × Italy

1 × Latvia

1 × Poland

3 × USA

`Collaborated with:`

W.Szwast E.Kieronski I.Pratt-Hartmann ∅ G.Gottlob A.Pieris C.Lutz U.Sattler L.Pacholski J.Michaliszyn

`Talks about:`

logic (4) fragment (3) variabl (3) two (3) transit (2) equival (2) complex (2) order (2) guard (2) first (2)

## Person: Lidia Tendera

### DBLP: Tendera:Lidia

### Contributed to:

### Wrote 8 papers:

- CSL-2013-Tendera
- Means and Limits of Decision (LT), pp. 28–29.
- ICALP-v2-2013-GottlobPT #query #transitive
- Querying the Guarded Fragment with Transitivity (GG, AP, LT), pp. 287–298.
- LICS-2012-KieronskiMPT #equivalence #first-order #logic
- Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
- LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability
- On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
- CADE-2003-LutzST #complexity #finite #logic #reasoning
- The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
- LICS-2001-SzwastT #on the #problem #transitive
- On the Decision Problem for the Guarded Fragment with Transitivity (WS, LT), pp. 147–156.
- LICS-1997-PacholskiST #complexity #logic
- Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
- CSL-2016-Pratt-HartmannS
- Quine's Fluted Fragment is Non-Elementary (IPH, WS, LT), p. 21.