Objetivo: Estudar os diversos tipos de semânticas formais para lógicas não-clássicas com ênfase nos aspectos conceituais e de aplicações.

Árvore do conhecimento: Ciências Humanas; Filosofia; Lógica.