PP-2003-07: van Benthem, Johan (2003) 'One is a Lonely Number': on the Logic of Communication. [Report]
Text (Full Text (PS))
PP-2003-07.text.ps.gz Download (685kB) |
|
Preview |
Text (Full Text (PDF))
PP-2003-07.text.pdf Download (132kB) | Preview |
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 van 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 |