O curso tem por objetivo introduzir um sistema semântico capaz de interpretar estruturas modais, temporais e aspectuais, baseado em uma ontologia que inclui mundos possíveis, inter¬valos de tempo e eventos. Dentre as expressões a serem analisadas incluem-se verbos de atitude proposicional, verbos modais, sentenças condicionais, núcleos temporais e operadores aspectuais.
- Docente: Marcelo Barra Ferreira