"The Power of the Filtration Technique for Modal Logics with Team Semantics."

Martin Lück (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics