Emanuel Kieronski

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 33

Top Topics

Decision Procedures

Extended Abstract

Guarded Fragment

Top Venues

Description Logics

Publications

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the Complexity of Maslov's Class K (Extended Abstract). Description Logics (2024)
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the complexity of Maslov's class K. LICS (2024)
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the complexity of Maslov's class K. CoRR (2024)
Oskar Fiuk, Emanuel Kieronski
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic. CoRR (2024)
Emanuel Kieronski
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. GandALF (2023)
Oskar Fiuk, Emanuel Kieronski
An excursion to the border of decidability: between two- and three-variable logic. LPAR (2023)
Bartosz Bednarczyk, Emanuel Kieronski
Finite Entailment of Local Queries in the Z Family of Description Logics. AAAI (2022)
Emanuel Kieronski, Antti Kuusisto
One-dimensional fragment over words and trees. J. Log. Comput. 32 (5) (2022)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics. LICS (2021)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). Description Logics (2021)
Emanuel Kieronski, Antti Kuusisto
One-Dimensional Fragment over Words and Trees. CoRR (2021)
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
Completing the Picture: Complexity of Graded Modal Logics with Converse. Theory Pract. Log. Program. 21 (4) (2021)
Bartosz Bednarczyk, Emanuel Kieronski
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract). Description Logics (2021)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics. CoRR (2021)
Emanuel Kieronski, Adam Malinowski
The Triguarded Fragment with Transitivity. LPAR (2020)
Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). Description Logics (2019)
Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity. MFCS (2019)
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse. JELIA (2019)
Emanuel Kieronski
One-dimensional guarded fragments. CoRR (2019)
Emanuel Kieronski
One-Dimensional Guarded Fragments. MFCS (2019)
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
Two-variable logics with counting and semantic constraints. ACM SIGLOG News 5 (3) (2018)
Daniel Danielski, Emanuel Kieronski
Finite Satisfiability of Unary Negation Fragment with Transitivity. CoRR (2018)
Daniel Danielski, Emanuel Kieronski
Unary negation fragment with equivalence relations has the finite model property. CoRR (2018)
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse. CoRR (2018)
Daniel Danielski, Emanuel Kieronski
Unary negation fragment with equivalence relations has the finite model property. LICS (2018)
Emanuel Kieronski, Lidia Tendera
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. ACM Trans. Comput. Log. 19 (2) (2018)
Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera
Equivalence closure in the two-variable guarded fragment. J. Log. Comput. 27 (4) (2017)
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski
Extending Two-Variable Logic on Trees. CSL (2017)
Emanuel Kieronski, Antti Kuusisto
One-Dimensional Logic over Trees. MFCS (2017)
Emanuel Kieronski
One-Dimensional Logic over Words. CSL (2016)
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski
Extending Two-Variable Logic on Trees. CoRR (2016)
Emanuel Kieronski, Lidia Tendera
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. CoRR (2016)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Jakub Michaliszyn, Jan Otop, Emanuel Kieronski
On the Decidability of Elementary Modal Logics. ACM Trans. Comput. Log. 17 (1) (2015)
Emanuel Kieronski, Antti Kuusisto
Uniform One-Dimensional Fragments with One Equivalence Relation. CSL (2015)
Emanuel Kieronski, Antti Kuusisto
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. CoRR (2014)
Emanuel Kieronski, Antti Kuusisto
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. MFCS (1) (2014)
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki
Decidability of weak logics with deterministic transitive closure. CSL-LICS (2014)
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure. SIAM J. Comput. 43 (3) (2014)
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees CoRR (2013)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ICALP (2) (2013)
Jakub Michaliszyn, Emanuel Kieronski
Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. Advances in Modal Logic (2012)
Emanuel Kieronski, Jakub Michaliszyn
Two-Variable Universal Logic with Transitive Closure. CSL (2012)
Emanuel Kieronski, Martin Otto
Small substructures and decidability issues for first-order logic with two variables. J. Symb. Log. 77 (3) (2012)
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure. LICS (2012)
Emanuel Kieronski, Jakub Michaliszyn, Jan Otop
Modal Logics Definable by Universal Three-Variable Formulas. FSTTCS (2011)
Emanuel Kieronski
Decidability Issues for Two-Variable Logics with Several Linear Orders. CSL (2011)
Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. ICALP (2) (2010)
Emanuel Kieronski, Lidia Tendera
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. LICS (2009)
Emanuel Kieronski, Lidia Tendera
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. LPAR (2007)
Emanuel Kieronski
On the complexity of the two-variable guarded fragment with transitive guards. Inf. Comput. 204 (11) (2006)
Emanuel Kieronski
Results on the Guarded Fragment with Equivalence or Transitive Relations. CSL (2005)
Emanuel Kieronski, Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS (2005)
Emanuel Kieronski
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. FoSSaCS (2003)
Emanuel Kieronski
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. STACS (2002)