Logique modale et application aux systèmes multi-agents   


Odile Papini



        cours1 : logique modale propositionnelle    (.pdf)  

        cours 2 : raisonnement en logique modale propositionnelle (.pdf)  

       cours 3 :  application aux systèmes multi-agents  (.pdf)
 
        annexe logique modale : (.pdf)

       chapitre de livre : (.pdf)