Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS

Lógica multimodal
Lógica Dinámica (resumo rápido)
[ai] (i ∈ N)
Ri ⊆ W × W
AGM e EPDL
Lógica Dinámica Elementar (EPDL=Elementary Propositional Dynamic Logic)
Cada [a] uma açao / um programa (= L. multimodal sob uma certa interpretação)
[a]B :
cada vez a termina, B é o caso. (〈a〉B: as vezes a termina com B sendo o caso.
Suporemos que as ações são deterministas; então 〈a〉 = [a].)
( Lógica Dinámica senso strito: programas complexos.
· sequências: [a; b]C – b seguido por a resulta em C.
· escolha: [a ∪ b]C – ambos, a e b resultam em C.
· loop: [ ∗ a]C – Qq repetição (finita) de a resulta em C.
Somente loop acresce mais complexidade. Sem loop ficamos nos limites de EPDL. )
58