Canonical Models and the Complexity of Modal Team Logic

Martin Lück. Canonical Models and the Complexity of Modal Team Logic. Logical Methods in Computer Science, 15(2), 2019. [doi]

Abstract

Abstract is missing.