TY - JOUR AU - Eytan, M. TI - Logique modale propositionnelle : une vue cavalière JO - Mathématiques et sciences humaines PY - 1977 SP - 27 EP - 42 VL - 57 PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique UR - http://archive.numdam.org/item/MSH_1977__57__27_0/ LA - fr ID - MSH_1977__57__27_0 ER -