Lidia Tendera

Available identifiers

zbMath Open tendera.lidiaMaRDI QIDQ1877097

List of research outcomes

Publication	Date of Publication	Type
Adding transitivity and counting to the fluted fragment	2024-09-25	Paper
The Fluted Fragment with Transitivity	2022-07-21	Paper
The fluted fragment with transitive relations	2021-10-29	Paper
On the satisfiability problem for fragments of two-variable logic with one transitive relation	2020-01-29	Paper
The fluted fragment revisited	2019-09-17	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
Quine's fluted fragment is non-elementary	2017-07-19	Paper
Two-variable first-order logic with equivalence closure	2017-05-16	Paper
Means and limits of decision (invited talk)	2017-02-02	Paper
\(\mathrm{FO}^2\) with one transitive relation is decidable	2017-01-30	Paper
Two-variable first-order logic with equivalence closure	2014-09-18	Paper
Querying the guarded fragment with transitivity	2013-08-07	Paper
The complexity of finite model reasoning in description logics.	2010-04-20	Paper
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity	2008-05-27	Paper
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards	2008-05-15	Paper
STACS 2005	2005-12-02	Paper
The complexity of finite model reasoning in description logics	2005-08-05	Paper
The guarded fragment with transitive guards	2004-08-16	Paper
Complexity Results for First-Order Two-Variable Logic with Counting	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4304750	1994-08-31	Paper

Research outcomes over time

This page was built for person: Lidia Tendera