Emanuel Kieroński

Available identifiers

zbMath Open kieronski.emanuelMaRDI QIDQ859826

List of research outcomes

Publication	Date of Publication	Type
Completing the Picture: Complexity of Graded Modal Logics with Converse	2023-12-12	Paper
One-dimensional fragment over words and trees	2022-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5092374	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092376	2022-07-21	Paper
Unary negation fragment with equivalence relations has the finite model property	2021-01-20	Paper
Finite Model Theory of the Triguarded Fragment and Related Logics	2021-01-20	Paper
One-Dimensional Logic over Trees	2020-05-26	Paper
Extending two-variable logic on trees	2020-05-26	Paper
On the complexity of graded modal logics with converse	2020-02-18	Paper
Decidability of weak logics with deterministic transitive closure	2018-04-23	Paper
Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants	2018-03-22	Paper
Equivalence closure in the two-variable guarded fragment	2018-02-13	Paper
Uniform one-dimensional fragments with one equivalence relation	2017-08-31	Paper
One-dimensional logic over words	2017-07-19	Paper
Complexity of two-variable logic on finite trees	2017-07-13	Paper
On the decidability of elementary modal logics	2017-07-12	Paper
Two-variable first-order logic with equivalence closure	2017-05-16	Paper
Complexity and expressivity of uniform one-dimensional fragment with equality	2014-10-14	Paper
Two-variable first-order logic with equivalence closure	2014-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5419895	2014-06-11	Paper
Complexity of two-variable logic on finite trees	2013-08-07	Paper
Two-variable universal logic with transitive closure	2012-11-22	Paper
Small substructures and decidability issues for first-order logic with two variables	2012-09-19	Paper
Decidability issues for two-variable logics with several linear orders	2012-09-18	Paper
Modal logics definable by universal three-variable formulas	2012-08-31	Paper
B and D are enough to make the Halpern-Shoham logic undecidable	2010-09-07	Paper
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards	2008-05-15	Paper
On the complexity of the two-variable guarded fragment with transitive guards	2007-01-22	Paper
Computer Science Logic	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4736875	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417866	2003-07-30	Paper

Research outcomes over time

This page was built for person: Emanuel Kieroński