Ex falso quodlibetEt pourquoi les modèles de Kripke n'auraient pas un ensemble de mondes possibles finis? Pour parler d'un système comme les états d'un programme, ça paraît raisonnable.
Et pourquoi les modèles de Kripke n'auraient pas un ensemble de mondes possibles finis? Pour parler d'un système comme les états d'un programme, ça paraît raisonnable.