A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic - HAL Accéder directement au contenu
Pré-publication, Document de travail Année : 2015

A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic

Résumé

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.

Domaines

Philosophie
Fichier principal
Vignette du fichier
A Brief Introduction to standard classical and intuitionistic Dialogical Logic.pdf ( 543.52 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-01226098, version 1 (08-11-2015)

Licence

Paternité - CC BY 4.0

Identifiants

  • HAL Id : halshs-01226098 , version 1

Citer

Shahid Rahman. A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic. 2015. ⟨halshs-01226098⟩
173 Consultations
566 Téléchargements
Dernière date de mise à jour le 07/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus