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
Extending Two-Variable Logic on Trees	2020-05-26	Paper
One-Dimensional Logic over 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuel Kieroński