Martin Lück

Available identifiers

zbMath Open luck.martinMaRDI QIDQ2193279

List of research outcomes

Publication	Date of Publication	Type
Canonical models and the complexity of modal team logic	2022-05-28	Paper
On quantified propositional logics and the exponential time hierarchy	2021-12-07	Paper
On the complexity of team logic and its two-variable fragment	2021-08-04	Paper
On the complexity of linear temporal logic with team semantics	2020-08-25	Paper
The power of the filtration technique for modal logics with team semantics	2020-05-26	Paper
On the succinctness of atoms of dependency	2019-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q5376653	2019-05-17	Paper
Axiomatizations of team logics	2018-06-05	Paper
Quirky quantifiers: optimal models and complexity of computation tree logic	2018-05-14	Paper
Axiomatizations for propositional and modal team logic	2017-07-19	Paper
Parametrised complexity of satisfiability in temporal logic	2017-07-13	Paper
Parameterized complexity of CTL	2016-04-08	Paper

Research outcomes over time

This page was built for person: Martin Lück