Teses, Dissertações e Outros

O objetivo dessa dissertação é desenvolver um framework para ser utilizado em lógicas epistêmicas dinâmicas com atribuições (DELWA). A diferença desse trabalho para outros existentes na área, como VAN DITMARSCH, é a utilização de modelos de ação, da lógica epistêmica dinâmica, para realizar as atribuições booleanas às proposições, ao invés de criar novos mecanismos para realizar as atribuições.  
Estendemos o conceito de modelo de ação, criando a propriedade de pós-condição em cada estado do modelo, tornando possível atribuir valores booleanos para as proposições. Durante a pesquisa dessa dissertação implementamos também algumas novas funcionalidades no DEMO (verificador de modelos epistêmicos feito em Haskell) para representar modelos de ação com atribuições. Primeiro, discutiremos os conceitos sobre lógica proposicional dinâmica, lógica epistêmica, lógica epistêmica dinâmica, lógica epistêmica dinâmica com atribuição, apresentando uma abordagem diferente da proposta  nessa dissertação, e do DEMO. Apresentaremos, por fim, o modelo proposto, algumas aplicações e descreveremos as novas funcionalidades implementadas no DEMO.