logica dinamica
Sign in to saveestensione della logica modale
Article · Italiano
La logica dinamica è un'estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti più generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi.
Abstract from DBpedia / Wikipedia · CC BY-SA