PP-2003-07: 'One is a Lonely Number': on the Logic of Communication

PP-2003-07: van Benthem, Johan (2003) 'One is a Lonely Number': on the Logic of Communication. [Report]

[img] Text (Full Text (PS))
PP-2003-07.text.ps.gz

Download (685kB)
[img]
Preview
Text (Full Text (PDF))
PP-2003-07.text.pdf

Download (132kB) | Preview
[img] Text (Abstract)
PP-2003-07.abstract.txt

Download (543B)

Abstract

'One is a Lonely Number': on the logic of communication Johan van Benthem Abstract: Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as logical as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.

Item Type: Report
Report Nr: PP-2003-07
Series Name: Prepublication (PP) Series
Year: 2003
Uncontrolled Keywords: update, communication, epistemic logic, dynamic logic, bisimulation, relativization
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/91

Actions (login required)

View Item View Item