Defesa de Mestrado de Guilherme Luiz Grudtner

Uma língua natural é capaz de expressar, por diversos meios, a modalidade, seja ela uma possibilidade, um desejo ou uma obrigação. Pelo trabalho de linguistas, como Angelika Kratzer, percebe-se a possibilidade de se modelar a modalidade linguística, utilizando-se da lógica modal, especialmente a semântica de mundos possíveis. A presente dissertação tem o objetivo de desenvolver formalmente as bases para esses conceitos e explorar uma nova forma de abordagem para a formalização da modalidade linguística.