A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic
Shahid Rahman · HAL (Le Centre pour la Communication Scientifique Directe) · 2015
The present paper, that provides an introduction to standard dialogical logic, has mainly didactic purposes. Thus, the study of the metalogical properties has been left totally by side. However, two sections have been added for those readers willing to go through a technically more demanding material. The first one contains a technically rigorous presentation of standard dialogical logic the second one presents, some very recent work towards a logic with content, applied to modal logic, where modal logic is developed in a purely dialogical way: instead of worlds, we have contexts, constituted by hypothetical assertions and where transitions between worlds are understood as extending contexts by the means of questions.