Satisfiability and Model Checking in Team Based Logics