Appendice. Introduction à la dialogique modale et hybride

Abstract

Cette courte introduction a pour but de donner au lecteur peu familier des systèmes dialogiques un aperçu des notions fondamentales de cette approche de la logique. Nous présenterons d'abord la dialogique standard, c'est-à-dire les systèmes correspondantàl al o g i q u ep r o p o s itionnelle classique et intuitionniste : nous commencerons par spécifier le langage dont nous nous servons, puis nous verrons les différents types de règles qui définissent les jeux dialogiques standard. Nous présenterons ensuite l'extension modale de cette logique propositionnelle, avec les règles correspondant aux systèmes K, T, B, S4, S5 et D 1. Nous finirons avec le langage modal hybride, introduit dans [Blackburn 2001a] et [Rahman & Keiff 2004].

Constructive Type Theory and the Dialogical Approach to Meaning

“…58 See Keiff (2007). 59 The reader may check that P has a way to win no matter how the Opponent chooses to react to move 4.…”