Abstract
L'A. analyse une classe signifiante de theories en logique modale propositionnelle et infinitariste. L'essentiel de cette etude est un resultat analogue au theoreme canonique modele en logique modale propositionnelle normale
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have