Travelled to:1 × Austria
1 × Croatia
1 × Germany
1 × Latvia
1 × Norway
1 × Poland
1 × United Kingdom
2 × France
2 × USA
Collaborated with:∅ J.Michaliszyn W.Charatonik L.Tendera A.Kuusisto M.Otto F.Mazowiecki J.Marcinkowski B.Bednarczyk I.Pratt-Hartmann S.Benaim M.Benedikt R.Lenhardt J.Worrell
Talks about:logic (10) variabl (8) two (8) transit (4) equival (4) order (4) fragment (3) closur (3) relat (3) guard (3)
Person: Emanuel Kieronski
DBLP: Kieronski:Emanuel
Contributed to:
2015
2014
20132012201220112010200920052005
200320162017Wrote 13 papers:
- CSL-2015-KieronskiK #equivalence
- Uniform One-Dimensional Fragments with One Equivalence Relation (EK, AK), pp. 597–615.
- LICS-CSL-2014-CharatonikKM #decidability #logic #transitive
- Decidability of weak logics with deterministic transitive closure (WC, EK, FM), p. 10.
- ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
- Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
- CSL-2012-KieronskiM #logic #transitive
- Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
- LICS-2012-KieronskiMPT #equivalence #first-order #logic
- Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
- CSL-2011-Kieronski #decidability #linear #logic #order
- Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
- ICALP-v2-2010-MarcinkowskiMK #decidability #logic
- B and D Are Enough to Make the Halpern-Shoham Logic Undecidable (JM, JM, EK), pp. 357–368.
- 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.
- CSL-2005-Kieronski #equivalence #transitive
- Results on the Guarded Fragment with Equivalence or Transitive Relations (EK), pp. 309–324.
- LICS-2005-KieronskiO #decidability #first-order #logic
- Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
- FoSSaCS-2003-Kieronski #transitive
- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
- CSL-2016-Kieronski #logic #word
- One-Dimensional Logic over Words (EK), p. 15.
- CSL-2017-BednarczykCK #logic
- Extending Two-Variable Logic on Trees (BB, WC, EK), p. 20.