1
A diferença entre lógica dinâmica e lógica temporal
Para descobrir a diferença, acabei de encontrar afirmações abaixo sobre lógica temporal na Wikipedia : outra variante da lógica modal, que compartilha muitas características comuns da lógica dinâmica, difere de todas as lógicas acima mencionadas por ser o que Pnueli caracterizou como lógica "endógena", sendo as outras lógicas "exógenas". Com …