arXiv:2407.20889 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords strong undefinability results, team semantics, extended propositional dependence logic, extended propositional inquisitive logic, intuitionistic implication Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset