Calculs étiquetés enCalculs étiquetés enlogiqueavancés en logique modale.Explorer des systèmes de raisonnementLogiqueComprendre les calculs étiquetés en logique modaleUn aperçu des calculs étiquetés pour la logique modale non distributive.2025-08-30T03:32:47+00:00 ― 7 min lire