Produits de logiques modales

Mercredi 27 novembre 2002 a 10 heures

Salle de reunion du troisieme etage de l'Irit

Resume : Nous introduirons dans cet expose les produits de logiques modales. Nous presenterons les resultats d'axiomatisation/completude et de decidabilite/complexite obtenus recemment pour certains d'entre eux.

Retour a la page des seminaires