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

Resume : We define a modal logic which modal operators correspond to the incidence relation and the parallelism relation over affine frames. We use the technique of the filtration to solve the question of the  decidability/complexity of our modal logic. We use the technique of the inverse limit to solve the question of the axiomatization/completeness of our modal logic.

Retour a la page des seminaires