Martin Lück

MaRDI QIDQ2193279zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the complexity of Horn and krom fragments of second-order Boolean logic	2026-03-23	Paper
Canonical models and the complexity of modal team logic	2022-05-28	Paper
On quantified propositional logics and the exponential time hierarchy (available as arXiv preprint)	2021-12-07	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 (available as arXiv preprint)	2021-08-04	Paper
On the complexity of linear temporal logic with team semantics Theoretical Computer Science	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 (available as arXiv preprint)	2019-09-13	Paper
scientific article; zbMATH DE number 7056226 (Why is no real title available?) (available as arXiv preprint)	2019-05-17	Paper
Axiomatizations of team logics Annals of Pure and Applied Logic	2018-06-05	Paper
Quirky quantifiers: optimal models and complexity of computation tree logic International Journal of Foundations of Computer Science	2018-05-14	Paper
Axiomatizations for propositional and modal team logic	2017-07-19	Paper
Parametrised complexity of satisfiability in temporal logic ACM Transactions on Computational Logic	2017-07-13	Paper
Parameterized complexity of CTL Language and Automata Theory and Applications	2016-04-08	Paper

Research outcomes over time

This page was built for person: Martin Lück