Io so che tu sai che io so…

resizeVi è una branca della logica detta logica modale che si occupa di formalizzare il modo in cui le proposizioni possono essere vere o false. La logica modale si occupa di affermazioni del tipo “E’ possibile che…” oppure “E’ necessario che…”
All’interno della logica modale si distingue a sua volta una modalità epistemica che fa uso di operatori di conoscenza e credenza. Si occupa quindi di espressioni del tipo “Conosco che….”, “Credo che…”.
Nella cornice della logica modale si definisce il concetto di conoscenza comune. Si dice che una particolare informazione P è conoscenza comune se tutti gli agenti ne sono a conoscenza, ma anche che tutti sanno che tutti conoscono P, ma anche che tutti sanno che tutti sanno di conoscere P… e così via all’infinito.
Continua a leggere