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

Semântica
Lógica Dinâmica Doxástica (DDL)
Ideia simples: BDD é uma lógica multimodal. Assim esperamos para cada operador
✷i uma interpretação da forma:
x |= ✷iA sse ∀y : Rixy ⇒ y |= A
No caso que nos interesse, ✷ tem estrutura: [∗B].
• Esta estrutura deve ter um impacto a determinar os teoremas de BDD;
• segue-se que a relação R que acompanha ✷ deve representar esta estrutura em alguma
maneira:
x |= [∗B]A sse ∀y : R [B]xy ⇒ y |= A,
onde [B] é a representação semántica da fórmula B.
• Solução: Adaptamos os sistemas de esferas que já conhecemos.
65