Travelled to:1 × France
Collaborated with:∅ A.Meier I.Schindler
Talks about:modal (3) logic (3) team (3) complex (2) parameter (1) techniqu (1) proposit (1) courcell (1) theorem (1) general (1)
Person: Martin Lück
DBLP: L=uuml=ck:Martin
Contributed to:
2015
201620172018Wrote 4 papers:
- LATA-2015-LuckMS #complexity #theorem
- Parameterized Complexity of CTL — A Generalization of Courcelle’s Theorem (ML, AM, IS), pp. 549–560.
- CSL-2016-Luck #axiom #logic
- Axiomatizations for Propositional and Modal Team Logic (ML), p. 18.
- CSL-2017-Luck #logic #power of #semantics
- The Power of the Filtration Technique for Modal Logics with Team Semantics (ML), p. 20.
- CSL-2018-Luck #canonical #complexity #logic #modelling
- Canonical Models and the Complexity of Modal Team Logic (ML), p. 23.