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

More documents

Recommendations

Info

Mais: (Função) (KB) (K*K) 〈∗A〉B ↔ [∗A]B KA → BA KA ↔ [∗B]KA Lógica Dinâmica Doxástica (DDL) Chamaremos o sistema tal definido de BDD (“Basis Doxastic Dynamics”). [AGM-Postulate] 64
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
Page 1 and 2:
Goethe-Universität Frankfurt am Ma
Page 3 and 4:
Justificação epistêmica · Justi
Page 5 and 6:
Um problema tradicional Seja K o co
Page 7 and 8:
Taking a closer look at the two pro
Page 9 and 10:
Can we reduce the dynamic case (D)
Page 11 and 12:
Can we reduce the dynamic case (D)
Page 13 and 14: A strong thesis (Isaac Levi) ◦ In
Page 15 and 16: A possible explanation: Justificaç
Page 17 and 18: Uma abordagem abstrata: três casos
Page 19 and 20: Programa Problema inicial: O que s
Page 21 and 22: • Operação de fechamento lógic
Page 23 and 24: (m) Pedro é dono de um Maserati. R
Page 25 and 26: Semântica epistêmica das proposi
Page 27 and 28: Considerações pré-teóricas Junt
Page 29 and 30: (C1) Closure (C2) Success (C3) Incl
Page 31 and 32: Identidade do Levi (LI): Identidade
Page 33 and 34: Teste de Ramsey para condicionais (
Page 35 and 36: Modalidades reflexivas Confusão de
Page 37 and 38: A familia K ⊥ A de candidatos X
Page 39 and 40: Representação para C1-6. (AGM 198
Page 41 and 42: Prova para a representação de C1-
Page 43 and 44: Ad (5): K − A = σ(K ⊥ A). ⊆
Page 45 and 46: Demonstramos assim: AGM: Postulados
Page 47 and 48: es.fe.ra sf 1 Geom Corpo cujos pont
Page 49 and 50: W Ähnlichkeit mit w w Esquerda: Si
Page 51 and 52: Representação de contrações pel
Page 53 and 54: Sistemas de esferas Para determinar
Page 55 and 56: K 55 Maxichoice revision K A enthä
Page 57 and 58: Forma lógica: • Proposição A e
Page 59 and 60: 59 Lógica Dinâmica Doxástica (DD
Page 61 and 62: Cuidado: • Como o teste do Ramsey
Page 63: Axiomas A extensão mínima da Lóg
Page 67 and 68: • Condições: Lógica Dinâmica
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?