A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic

Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01226098
Contributor : Shahid Rahman <>
Submitted on : Sunday, November 8, 2015 - 4:28:38 PM
Last modification on : Tuesday, July 3, 2018 - 11:21:47 AM
Long-term archiving on : Tuesday, February 9, 2016 - 10:17:04 AM

File

A Brief Introduction to standa...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : halshs-01226098, version 1

Collections

Citation

Shahid Rahman. A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic. 2015. ⟨halshs-01226098⟩

Share

Metrics

Record views

297

Files downloads

469