Logiques modales et méthode des tableaux: une introduction
... logique ? 2 points Traduire en logique ... C.Q.F.D.. 2 Logique modale et épistémique. Exercice 4 ? Logique modale (syst`eme K)? 5 points ... Correction : L'exercice ...
... logique ? 2 points Traduire en logique ... C.Q.F.D.. 2 Logique modale et épistémique. Exercice 4 ? Logique modale (syst`eme K)? 5 points ... Correction : L'exercice ...