Modal Logic as Dialogical Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Synthese Year : 2001

Modal Logic as Dialogical Logic

Abstract

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notably the use of nominals, special proposition symbols which `name' worlds) I will show how to lift the dialogical conception to modal proof theory. I argue that this shift to hybrid logic has consequences for both modal and dialogical logic, and I discuss these in detail.

Dates and versions

inria-00100503 , version 1 (26-09-2006)

Identifiers

Cite

Patrick Blackburn. Modal Logic as Dialogical Logic. Synthese, 2001, 127 (1/2), pp.57-93. ⟨10.1023/A:1010358017657⟩. ⟨inria-00100503⟩
58 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More