. . . . . "In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. The syntax of dynamic logic contains a language of propositions (like \"the ground is dry\") and a language of actions (like \"it rains\"). The core modal constructs are , which states that after performing action a the proposition p should hold, and , which states that after performing action a it is possible that p holds.The action language supports operations (doing one action followed by another), (doing one action or another), and iteration (doing one action zero or more times). The proposition language supports Boolean operations (and, or, and not). The action logic is expressive enough to encode programs. For an arbitrary program , precondition , and postcondition , the dynamic logic statement encodes the correctness of the program, making dynamic logic more general than Hoare logic. Beyond its use in formal verification of programs, dynamic logic has been applied to describe complex behaviors arising in linguistics, philosophy, AI, and other fields."@en . . . . . . . . . . . "Logique dynamique"@fr . . . . . . . . . . . . . . . . "La logique dynamique est une extension de la logique modale destin\u00E9 au raisonnement portant sur des programmes informatiques et appliqu\u00E9 plus tard \u00E0 des comportements complexes plus g\u00E9n\u00E9raux d\u00E9coulant de la linguistique, de la philosophie, IA, et d'autres domaines."@fr . . . . . "Logica dinamica"@it . . . "In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. Beyond its use in formal verification of programs, dynamic logic has been applied to describe complex behaviors arising in linguistics, philosophy, AI, and other fields."@en . . . . . . "Dynamic logic (modal logic)"@en . "1114497647"^^ . . . . . . . . . "L\u00F3gica din\u00E2mica"@pt . . "30047"^^ . . . . "31631871"^^ . . . "La logica dinamica \u00E8 un'estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti pi\u00F9 generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi."@it . . . "La logique dynamique est une extension de la logique modale destin\u00E9 au raisonnement portant sur des programmes informatiques et appliqu\u00E9 plus tard \u00E0 des comportements complexes plus g\u00E9n\u00E9raux d\u00E9coulant de la linguistique, de la philosophie, IA, et d'autres domaines."@fr . . "L\u00F3gica din\u00E2mica \u00E9 uma extens\u00E3o da l\u00F3gica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da lingu\u00EDstica, filosofia, Intelig\u00EAncia Artificial, e outros campos."@pt . . . . . . . . . . . . . . "L\u00F3gica din\u00E2mica \u00E9 uma extens\u00E3o da l\u00F3gica modal originalmente planejada para raciocinar sobre programas de computador e, posteriormente, aplicada a mais comportamentos complexos gerais decorrentes da lingu\u00EDstica, filosofia, Intelig\u00EAncia Artificial, e outros campos."@pt . . . . . "La logica dinamica \u00E8 un'estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti pi\u00F9 generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi."@it .