Cours de Logique modale, sémantique formelle...

Tout ceci et d'autres choses encore (une théorie formelle de la vérité, par exemple), sur la page de Gary Hardegree. Je n'ai pas encore regardé dans le détail, mais tout le materiel semble extrêmement bienvenu.
(Pour télécharger directement la totalité du cours de logique modale c'est ici, et pour le cours de semantique formelle, c'est là).