EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. - Emanuel Kieronski (STACS, 2002)

The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. - Emanuel Kieronski (FoSSaCS, 2003)

Results on the Guarded Fragment with Equivalence or Transitive Relations. - Emanuel Kieronski (CSL, 2005)

On the complexity of the two-variable guarded fragment with transitive guards. - Emanuel Kieronski (Inf. Comput., 2006)

On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. - Emanuel Kieronski; Lidia Tendera (LPAR, 2007)

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. - Emanuel Kieronski; Lidia Tendera (LICS, 2009)

B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. - Jerzy Marcinkowski; Jakub Michaliszyn; Emanuel Kieronski (ICALP (2), 2010)

Decidability Issues for Two-Variable Logics with Several Linear Orders. - Emanuel Kieronski (CSL, 2011)

Modal Logics Definable by Universal Three-Variable Formulas. - Emanuel Kieronski; Jakub Michaliszyn; Jan Otop (FSTTCS, 2011)

Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames. - Jakub Michaliszyn; Emanuel Kieronski (Advances in Modal Logic, 2012)

Two-Variable Universal Logic with Transitive Closure. - Emanuel Kieronski; Jakub Michaliszyn (CSL, 2012)

Small substructures and decidability issues for first-order logic with two variables. - Emanuel Kieronski; Martin Otto 001 (J. Symb. Log., 2012)

Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees - Witold Charatonik; Emanuel Kieronski; Filip Mazowiecki (CoRR, 2013)

Decidability of weak logics with deterministic transitive closure. - Witold Charatonik; Emanuel Kieronski; Filip Mazowiecki (CSL-LICS, 2014)

Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. - Emanuel Kieronski; Antti Kuusisto (MFCS (1), 2014)

Two-Variable First-Order Logic with Equivalence Closure. - Emanuel Kieronski; Jakub Michaliszyn; Ian Pratt-Hartmann; Lidia Tendera (SIAM J. Comput., 2014)

Uniform One-Dimensional Fragments with One Equivalence Relation. - Emanuel Kieronski; Antti Kuusisto (CSL, 2015)

On the Decidability of Elementary Modal Logics. - Jakub Michaliszyn; Jan Otop; Emanuel Kieronski (ACM Trans. Comput. Log., 2015)

One-Dimensional Logic over Words. - Emanuel Kieronski (CSL, 2016)

Complexity of Two-Variable Logic on Finite Trees. - Saguy Benaim; Michael Benedikt; Witold Charatonik; Emanuel Kieronski; Rastislav Lenhardt; Filip Mazowiecki; James Worrell 001 (ACM Trans. Comput. Log., 2016)

Extending Two-Variable Logic on Trees. - Bartosz Bednarczyk; Witold Charatonik; Emanuel Kieronski (CSL, 2017)

One-Dimensional Logic over Trees. - Emanuel Kieronski; Antti Kuusisto (MFCS, 2017)

Equivalence closure in the two-variable guarded fragment. - Emanuel Kieronski; Ian Pratt-Hartmann; Lidia Tendera (J. Log. Comput., 2017)

Unary negation fragment with equivalence relations has the finite model property. - Daniel Danielski; Emanuel Kieronski (LICS, 2018)

Two-variable logics with counting and semantic constraints. - Emanuel Kieronski; Ian Pratt-Hartmann; Lidia Tendera (ACM SIGLOG News, 2018)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. - Emanuel Kieronski; Lidia Tendera (ACM Trans. Comput. Log., 2018)

Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). - Daniel Danielski; Emanuel Kieronski (Description Logics, 2019)

On the Complexity of Graded Modal Logics with Converse. - Bartosz Bednarczyk; Emanuel Kieronski; Piotr Witkowski 001 (JELIA, 2019)

Finite Satisfiability of Unary Negation Fragment with Transitivity. - Daniel Danielski; Emanuel Kieronski (MFCS, 2019)

One-Dimensional Guarded Fragments. - Emanuel Kieronski (MFCS, 2019)

The Triguarded Fragment with Transitivity. - Emanuel Kieronski; Adam Malinowski (LPAR, 2020)

Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract). - Bartosz Bednarczyk; Emanuel Kieronski (Description Logics, 2021)

Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). - Emanuel Kieronski; Sebastian Rudolph (Description Logics, 2021)

Finite Model Theory of the Triguarded Fragment and Related Logics. - Emanuel Kieronski; Sebastian Rudolph (LICS, 2021)

Completing the Picture: Complexity of Graded Modal Logics with Converse. - Bartosz Bednarczyk; Emanuel Kieronski; Piotr Witkowski 001 (Theory Pract. Log. Program., 2021)

Finite Entailment of Local Queries in the Z Family of Description Logics. - Bartosz Bednarczyk; Emanuel Kieronski (AAAI, 2022)

One-dimensional fragment over words and trees. - Emanuel Kieronski; Antti Kuusisto (J. Log. Comput., 2022)

An excursion to the border of decidability: between two- and three-variable logic. - Oskar Fiuk; Emanuel Kieronski (LPAR, 2023)

A Uniform One-Dimensional Fragment with Alternation of Quantifiers. - Emanuel Kieronski (GandALF, 2023)

On the Complexity of Maslov's Class K (Extended Abstract). - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (Description Logics, 2024)

On the complexity of Maslov's class K. - Oskar Fiuk; Emanuel Kieronski; Vincent Michielini (LICS, 2024)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic. - Oskar Fiuk; Emanuel Kieronski (Log. Methods Comput. Sci., 2025)