The Dynamics of Imperfect Information
Pietro Galliani

Abstract:
Wij bestuderen de doxastisch geïnspireerde varianten en extensies van
afhankelijkheids logica die voortvloeien uit de overweging van
aankondigings operatoren en niet-functionele afhankelijkheids atomen. We
lossen verscheidene open vragen in dit gebied op, waaronder de volgende
twee:

1. De $\forall^1$ quantifier van (Kontinen and Vaananen, 2009) is niet
uniform te definiëren in Dependence Logic;
2. Alle NP eigenschappen van teams zijn te definiëren in onafhankelijkheids
logica,

Verder, generaliseren we het resultaat van Cameron and Hodges over de
combinatorische eigenschappen van compositionele semantiek voor de logica
van imperfecte informatie naar de oneindige casus, daardoor introduceren we
een nieuw begrip van verstandige semantiek; en we ontwikkelen een
"algemene" semantiek voor onafhankelijkheids logica (of logicas die hierin
bevat zijn, zoals afhankelijkheids logica) als mede een bewijssysteem  en
we bewijzen correctheid en volledigheid.

Vervolgens onderzoeken we de dynamica van informatie-updates die onder de
verschijning van team samantiek ligt, we breiden van Benthems wederzijdse
inbeddings resultaat tussen eerste orde logica en dynamische spel logica
(DGL) uit naar de casussen van afhankelijkheids logica en een niet perfecte
informatie variant van DGL.
Tot slot laten we zien dat veel van de operatoren en connectieven die
gebruikt worden in team semantiek hebben natuurlijke interpretaties in
termen van geloofs beschrijvingen en geloofs updates en we pleiten voor de
doxastische interpretatie van dit semantische kader.


Keywords: