Notion d'inférence valide : quelques remarques sur l ... - Numdam

3 janv. 2011 ... Marcus étend la logique modale au calcul des prédicats de 1 er .... of Modal Logic I: Normal Modal Propositional Calculi?, Zeitschrift für ..... Il pourra paraitre surprenant que ce livre sur les mondes possibles ne ..... par exemple de bannir les faussetés mathématiques et les énoncés ...... 3e édition corrigée.


Un extrait du document