LILaC
LILaC
Variable-free reasoning on finite trees
Vendredi 7 novembre 2003 à 14 heures
Bureau 314 de l'Irit
First-order definability of modal formulas: a simplified proof of undecidability
Jeudi 6 novembre 2003 à 14 heures
Bureau 314 de l'Irit
Jeudi 16 octobre 2003 à 14 heures
Bureau 314 de l'Irit
A variant of Beth's tableaux methods for polymodal logics
Jeudi 2 octobre 2003 à 14 heures
Salle des thèses de l'Irit
Croyances, actions, intentions et actes de langage
Mercredi 24 septembre 2003 à 10 heures 30
Salle des thèses de l'Irit
Mercredi 27 novembre 2002 à 10 heures
Salle de réunion du troisième étage de l' Irit
Calcul des situations et logique modale II
Vendredi 8 novembre 2002 à 14 heures 30
Salle de réunion du troisième étage de l' Irit
Calcul des situations et logique modale I
Mercredi 16 octobre 2002 à 14 heures 30
Salle de réunion du troisième étage de l' Irit
Parallel dynamic logic with communication
Vendredi 27 septembre 2002 à 10 heures
Salle de réunion du troisième étage de l' Irit
SCAN is complete for all Sahlqvist formulae
Vendredi 20 septembre 2002 à 10 heures
Salle du conseil de l' Irit
Reasoning about cyclic space: axiomatic and computational aspects
Vendredi 28 juin 2002 a 10 heures
Salle du conseil de l'Irit
«Je croyais que tu ne savais pas » : sur la revision dans la communication
Mardi 25 juin 2002 a 10 heures
Salle du conseil de l'Irit
Sens des formes, formes du sens
Jeudi 6 juin 2002 a 14 heures
Salle des theses de l'Irit
Dynamic semantics, dynamic logic and discourse interpretation
Mercredi 5 juin 2002 a 9 heures 30
Salle du conseil de l'Irit
Incidence et parallelisme : une logique modale propositionnelle basee sur la geometrie affine plane
Vendredi 17 mai 2002 a 14 heures
Salle de reunion du troisieme etage de l' Irit
Mardi 7 mai 2002 a 14 heures
Salle du conseil de l'Irit
Deduction automatique pour le calcul des durees basee sur la methode des tableaux
Lundi 10 decembre 2001 a 14 heures
Salle des theses de l'Irit