lógica dinâmica
Sign in to saveextension of modal logic
Article · Português
Lógica dinâmica é uma extensão da lógica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da linguística, filosofia, Inteligência Artificial, e outros campos.
Abstract from DBpedia / Wikipedia · CC BY-SA