default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emanuel Kieronski
@inproceedings{DBLP:conf/dlog/FiukKM24,
author = {Oskar Fiuk and
Emanuel Kieronski and
Vincent Michielini},
editor = {Laura Giordano and
Jean Christoph Jung and
Ana Ozaki},
title = {On the Complexity of Maslov's Class {K} (Extended Abstract)},
booktitle = {Proceedings of the 37th International Workshop on Description Logics
{(DL} 2024), Bergen, Norway, June 18-21, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3739},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3739/abstract-11.pdf},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/FiukKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiukKM24,
author = {Oskar Fiuk and
Emanuel Kieronski and
Vincent Michielini},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the complexity of Maslov's class {K}},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {35:1--35:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662097},
doi = {10.1145/3661814.3662097},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiukKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-03377,
author = {Oskar Fiuk and
Emanuel Kieronski},
title = {Alternating Quantifiers in Uniform One-Dimensional Fragments with
an Excursion into Three-Variable Logic},
journal = {CoRR},
volume = {abs/2404.03377},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.03377},
doi = {10.48550/ARXIV.2404.03377},
eprinttype = {arXiv},
eprint = {2404.03377},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-03377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-13339,
author = {Oskar Fiuk and
Emanuel Kieronski and
Vincent Michielini},
title = {On the complexity of Maslov's class {K}},
journal = {CoRR},
volume = {abs/2407.13339},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.13339},
doi = {10.48550/ARXIV.2407.13339},
eprinttype = {arXiv},
eprint = {2407.13339},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-13339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FiukK23,
author = {Oskar Fiuk and
Emanuel Kieronski},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {An excursion to the border of decidability: between two- and three-variable
logic},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {205--223},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/1xns},
doi = {10.29007/1XNS},
timestamp = {Wed, 12 Jul 2023 16:50:32 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FiukK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00994,
author = {Emanuel Kieronski},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {A Uniform One-Dimensional Fragment with Alternation of Quantifiers},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {1--15},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.1},
doi = {10.4204/EPTCS.390.1},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KieronskiK22,
author = {Emanuel Kieronski and
Antti Kuusisto},
title = {One-dimensional fragment over words and trees},
journal = {J. Log. Comput.},
volume = {32},
number = {5},
pages = {902--941},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac002},
doi = {10.1093/LOGCOM/EXAC002},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KieronskiK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BednarczykK22,
author = {Bartosz Bednarczyk and
Emanuel Kieronski},
title = {Finite Entailment of Local Queries in the {Z} Family of Description
Logics},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5487--5494},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20487},
doi = {10.1609/AAAI.V36I5.20487},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BednarczykK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BednarczykKW21,
author = {Bartosz Bednarczyk and
Emanuel Kieronski and
Piotr Witkowski},
title = {Completing the Picture: Complexity of Graded Modal Logics with Converse},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {493--520},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000065},
doi = {10.1017/S1471068421000065},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BednarczykKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BednarczykK21,
author = {Bartosz Bednarczyk and
Emanuel Kieronski},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Finite-Controllability of Conjunctive Queries in the {Z} family of
Description Logics (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BednarczykK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KieronskiR21,
author = {Emanuel Kieronski and
Sebastian Rudolph},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Finite Model Theory of the Triguarded Fragment and Related Logics
(Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-21.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KieronskiR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieronskiR21,
author = {Emanuel Kieronski and
Sebastian Rudolph},
title = {Finite Model Theory of the Triguarded Fragment and Related Logics},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470734},
doi = {10.1109/LICS52264.2021.9470734},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieronskiR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08377,
author = {Emanuel Kieronski and
Sebastian Rudolph},
title = {Finite Model Theory of the Triguarded Fragment and Related Logics},
journal = {CoRR},
volume = {abs/2101.08377},
year = {2021},
url = {https://arxiv.org/abs/2101.08377},
eprinttype = {arXiv},
eprint = {2101.08377},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02678,
author = {Emanuel Kieronski and
Antti Kuusisto},
title = {One-Dimensional Fragment over Words and Trees},
journal = {CoRR},
volume = {abs/2110.02678},
year = {2021},
url = {https://arxiv.org/abs/2110.02678},
eprinttype = {arXiv},
eprint = {2110.02678},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KieronskiM20,
author = {Emanuel Kieronski and
Adam Malinowski},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {The Triguarded Fragment with Transitivity},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {334--353},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/z359},
doi = {10.29007/Z359},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KieronskiM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DanielskiK19,
author = {Daniel Danielski and
Emanuel Kieronski},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Finite Satisfiability of Unary Negation Fragment with Transitivity
(Extended Abstract)},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-43.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/DanielskiK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BednarczykK019,
author = {Bartosz Bednarczyk and
Emanuel Kieronski and
Piotr Witkowski},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {On the Complexity of Graded Modal Logics with Converse},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {642--658},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_42},
doi = {10.1007/978-3-030-19570-0\_42},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BednarczykK019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kieronski19,
author = {Emanuel Kieronski},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {One-Dimensional Guarded Fragments},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {16:1--16:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.16},
doi = {10.4230/LIPICS.MFCS.2019.16},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kieronski19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DanielskiK19,
author = {Daniel Danielski and
Emanuel Kieronski},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Finite Satisfiability of Unary Negation Fragment with Transitivity},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {17:1--17:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.17},
doi = {10.4230/LIPICS.MFCS.2019.17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DanielskiK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04572,
author = {Emanuel Kieronski},
title = {One-dimensional guarded fragments},
journal = {CoRR},
volume = {abs/1904.04572},
year = {2019},
url = {http://arxiv.org/abs/1904.04572},
eprinttype = {arXiv},
eprint = {1904.04572},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/KieronskiPT18,
author = {Emanuel Kieronski and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Two-variable logics with counting and semantic constraints},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {22--43},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242958},
doi = {10.1145/3242953.3242958},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/KieronskiPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KieronskiT18,
author = {Emanuel Kieronski and
Lidia Tendera},
title = {Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive
Guards and Related Variants},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {2},
pages = {8:1--8:34},
year = {2018},
url = {https://doi.org/10.1145/3174805},
doi = {10.1145/3174805},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KieronskiT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DanielskiK18,
author = {Daniel Danielski and
Emanuel Kieronski},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Unary negation fragment with equivalence relations has the finite
model property},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {285--294},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209205},
doi = {10.1145/3209108.3209205},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DanielskiK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-01318,
author = {Daniel Danielski and
Emanuel Kieronski},
title = {Unary negation fragment with equivalence relations has the finite
model property},
journal = {CoRR},
volume = {abs/1802.01318},
year = {2018},
url = {http://arxiv.org/abs/1802.01318},
eprinttype = {arXiv},
eprint = {1802.01318},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03245,
author = {Daniel Danielski and
Emanuel Kieronski},
title = {Finite Satisfiability of Unary Negation Fragment with Transitivity},
journal = {CoRR},
volume = {abs/1809.03245},
year = {2018},
url = {http://arxiv.org/abs/1809.03245},
eprinttype = {arXiv},
eprint = {1809.03245},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-04413,
author = {Bartosz Bednarczyk and
Emanuel Kieronski and
Piotr Witkowski},
title = {On the Complexity of Graded Modal Logics with Converse},
journal = {CoRR},
volume = {abs/1812.04413},
year = {2018},
url = {http://arxiv.org/abs/1812.04413},
eprinttype = {arXiv},
eprint = {1812.04413},
timestamp = {Thu, 03 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-04413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KieronskiPT17,
author = {Emanuel Kieronski and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Equivalence closure in the two-variable guarded fragment},
journal = {J. Log. Comput.},
volume = {27},
number = {4},
pages = {999--1021},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv075},
doi = {10.1093/LOGCOM/EXV075},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KieronskiPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BednarczykCK17,
author = {Bartosz Bednarczyk and
Witold Charatonik and
Emanuel Kieronski},
editor = {Valentin Goranko and
Mads Dam},
title = {Extending Two-Variable Logic on Trees},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {11:1--11:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.11},
doi = {10.4230/LIPICS.CSL.2017.11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BednarczykCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KieronskiK17,
author = {Emanuel Kieronski and
Antti Kuusisto},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {One-Dimensional Logic over Trees},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {64:1--64:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.64},
doi = {10.4230/LIPICS.MFCS.2017.64},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KieronskiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenaimBCKLMW16,
author = {Saguy Benaim and
Michael Benedikt and
Witold Charatonik and
Emanuel Kieronski and
Rastislav Lenhardt and
Filip Mazowiecki and
James Worrell},
title = {Complexity of Two-Variable Logic on Finite Trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {4},
pages = {32},
year = {2016},
url = {https://doi.org/10.1145/2996796},
doi = {10.1145/2996796},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenaimBCKLMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kieronski16,
author = {Emanuel Kieronski},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {One-Dimensional Logic over Words},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {38:1--38:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.38},
doi = {10.4230/LIPICS.CSL.2016.38},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Kieronski16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BednarczykCK16,
author = {Bartosz Bednarczyk and
Witold Charatonik and
Emanuel Kieronski},
title = {Extending Two-Variable Logic on Trees},
journal = {CoRR},
volume = {abs/1611.02112},
year = {2016},
url = {http://arxiv.org/abs/1611.02112},
eprinttype = {arXiv},
eprint = {1611.02112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BednarczykCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieronskiT16,
author = {Emanuel Kieronski and
Lidia Tendera},
title = {Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive
Guards and Related Variants},
journal = {CoRR},
volume = {abs/1611.03267},
year = {2016},
url = {http://arxiv.org/abs/1611.03267},
eprinttype = {arXiv},
eprint = {1611.03267},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieronskiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MichaliszynOK15,
author = {Jakub Michaliszyn and
Jan Otop and
Emanuel Kieronski},
title = {On the Decidability of Elementary Modal Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {1},
pages = {2},
year = {2015},
url = {https://doi.org/10.1145/2817825},
doi = {10.1145/2817825},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MichaliszynOK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KieronskiK15,
author = {Emanuel Kieronski and
Antti Kuusisto},
editor = {Stephan Kreutzer},
title = {Uniform One-Dimensional Fragments with One Equivalence Relation},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {597--615},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.597},
doi = {10.4230/LIPICS.CSL.2015.597},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KieronskiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KieronskiMPT14,
author = {Emanuel Kieronski and
Jakub Michaliszyn and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Two-Variable First-Order Logic with Equivalence Closure},
journal = {{SIAM} J. Comput.},
volume = {43},
number = {3},
pages = {1012--1063},
year = {2014},
url = {https://doi.org/10.1137/120900095},
doi = {10.1137/120900095},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/KieronskiMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CharatonikKM14,
author = {Witold Charatonik and
Emanuel Kieronski and
Filip Mazowiecki},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Decidability of weak logics with deterministic transitive closure},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {29:1--29:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603134},
doi = {10.1145/2603088.2603134},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/CharatonikKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KieronskiK14,
author = {Emanuel Kieronski and
Antti Kuusisto},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Complexity and Expressivity of Uniform One-Dimensional Fragment with
Equality},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {365--376},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_31},
doi = {10.1007/978-3-662-44522-8\_31},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KieronskiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieronskiK14,
author = {Emanuel Kieronski and
Antti Kuusisto},
title = {Complexity and Expressivity of Uniform One-Dimensional Fragment with
Equality},
journal = {CoRR},
volume = {abs/1409.0731},
year = {2014},
url = {http://arxiv.org/abs/1409.0731},
eprinttype = {arXiv},
eprint = {1409.0731},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieronskiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BenaimBCKLMW13,
author = {Saguy Benaim and
Michael Benedikt and
Witold Charatonik and
Emanuel Kieronski and
Rastislav Lenhardt and
Filip Mazowiecki and
James Worrell},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Complexity of Two-Variable Logic on Finite Trees},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {74--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_10},
doi = {10.1007/978-3-642-39212-2\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BenaimBCKLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7204,
author = {Witold Charatonik and
Emanuel Kieronski and
Filip Mazowiecki},
title = {Satisfiability of the Two-Variable Fragment of First-Order Logic over
Trees},
journal = {CoRR},
volume = {abs/1304.7204},
year = {2013},
url = {http://arxiv.org/abs/1304.7204},
eprinttype = {arXiv},
eprint = {1304.7204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KieronskiO12,
author = {Emanuel Kieronski and
Martin Otto},
title = {Small substructures and decidability issues for first-order logic
with two variables},
journal = {J. Symb. Log.},
volume = {77},
number = {3},
pages = {729--765},
year = {2012},
url = {https://doi.org/10.2178/jsl/1344862160},
doi = {10.2178/JSL/1344862160},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KieronskiO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MichaliszynK12,
author = {Jakub Michaliszyn and
Emanuel Kieronski},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Finite Satisfiability of Modal Logic over Horn{\textasciitilde}Definable
Classes of Frames},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {464--482},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Michaliszyn-Kieronski.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MichaliszynK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KieronskiM12,
author = {Emanuel Kieronski and
Jakub Michaliszyn},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Two-Variable Universal Logic with Transitive Closure},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {396--410},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.396},
doi = {10.4230/LIPICS.CSL.2012.396},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KieronskiM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieronskiMPT12,
author = {Emanuel Kieronski and
Jakub Michaliszyn and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Two-Variable First-Order Logic with Equivalence Closure},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {431--440},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.53},
doi = {10.1109/LICS.2012.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieronskiMPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kieronski11,
author = {Emanuel Kieronski},
editor = {Marc Bezem},
title = {Decidability Issues for Two-Variable Logics with Several Linear Orders},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {337--351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.337},
doi = {10.4230/LIPICS.CSL.2011.337},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kieronski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KieronskiMO11,
author = {Emanuel Kieronski and
Jakub Michaliszyn and
Jan Otop},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Modal Logics Definable by Universal Three-Variable Formulas},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {264--275},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.264},
doi = {10.4230/LIPICS.FSTTCS.2011.264},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KieronskiMO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MarcinkowskiMK10,
author = {Jerzy Marcinkowski and
Jakub Michaliszyn and
Emanuel Kieronski},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {B and {D} Are Enough to Make the Halpern-Shoham Logic Undecidable},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {357--368},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_30},
doi = {10.1007/978-3-642-14162-1\_30},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MarcinkowskiMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieronskiT09,
author = {Emanuel Kieronski and
Lidia Tendera},
title = {On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence
Relations},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.39},
doi = {10.1109/LICS.2009.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieronskiT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KieronskiT07,
author = {Emanuel Kieronski and
Lidia Tendera},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {On Finite Satisfiability of the Guarded Fragment with Equivalence
or Transitive Guards},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {318--332},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_24},
doi = {10.1007/978-3-540-75560-9\_24},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KieronskiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kieronski06,
author = {Emanuel Kieronski},
title = {On the complexity of the two-variable guarded fragment with transitive
guards},
journal = {Inf. Comput.},
volume = {204},
number = {11},
pages = {1663--1703},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.08.001},
doi = {10.1016/J.IC.2006.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Kieronski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kieronski05,
author = {Emanuel Kieronski},
editor = {C.{-}H. Luke Ong},
title = {Results on the Guarded Fragment with Equivalence or Transitive Relations},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {309--324},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_22},
doi = {10.1007/11538363\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kieronski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieronskiO05,
author = {Emanuel Kieronski and
Martin Otto},
title = {Small Substructures and Decidability Issues for First-Order Logic
with Two Variables},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {448--457},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.49},
doi = {10.1109/LICS.2005.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KieronskiO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kieronski03,
author = {Emanuel Kieronski},
editor = {Andrew D. Gordon},
title = {The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {299--312},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_19},
doi = {10.1007/3-540-36576-1\_19},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Kieronski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kieronski02,
author = {Emanuel Kieronski},
editor = {Helmut Alt and
Afonso Ferreira},
title = {EXPSPACE-Complete Variant of Guarded Fragment with Transitivity},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {608--619},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_50},
doi = {10.1007/3-540-45841-7\_50},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Kieronski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-23 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
