Este artigo apresenta um estudo sobre modalidade bulética em Karitiana (Tupi) à luz dos fundamentos teóricos da semântica formal. Assumiremos que modalidade é a categoria do significado relacionada à expressão de possibilidades e necessidades (VON FINTEL, 2006). Há vários tipos de modalidade. A modalidade bulética está relacionada aos desejos/vontades de um indivíduo. Investigaremos as diferentes formas pelas quais a língua Karitiana gramaticaliza a expressão de desejos e vontades. Neste artigo, analisaremos três estruturas que são empregadas para veicular modalidade bulética: (i) o morfema desiderativo -wak; (ii) o verbo pyting; e (iii) o verbo py’eep. Esse artigo é relevante na medida em que é o primeiro trabalho especificamente sobre modalidade bulética em Karitiana. Além disso, algumas características da gramaticalização da modalidade bulética em Karitiana contribuem para o debate teórico em torno da semântica dos verbos que expressam tal modalidade. Comparamos propostas nas quais esses são verbos de atitude proposicional (VON FINTEL e HEIM, 2011; VON FINTEL e IATRIDOU, 2017) com propostas nas quais esses verbos tomam indivíduos (KRATZER, 2006; KRATZER, 2016). As propriedades morfossintáticas dos verbos em Karitiana parecem corroborar a proposta que eles não são proposicionais; no entanto, mostraremos que apenas uma análise proposicional fornece uma semântica adequada para eles.