Lógicas Não-Clássicas
Lógica Temporal
- Podemos então representar frases em que dois eventos estão relacionados no tempo.
- Enquanto Luiza estava em casa, chegou Aparecida.
M chegada_de_Aparecida contido N Luiza_em_casa
- Isabel foi ao cinema
M ida_ao_cinema anterior Nagora
- Renata irá viajar
M viajar posterior Nagora