Satisfiability and Model Checking in Team Based Logics | Kaicus Deutschland