PP-2003-21: van Benthem, Johan (2003) Logic and the Dynamics of Information. [Report]
Preview |
Text (Full Text (PDF))
PP-2003-21.text.pdf Download (47kB) | Preview |
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
PP-2003-21.text.ps.gz Download (32kB) |
|
Text (Abstract)
PP-2003-21.abstract.txt Download (481B) |
Abstract
We discuss how issues of information and computation interact with
logic today, and what might be a natural extended agenda of
investigation. In particular, the discussion ranges from local
dynamics of communication ('update logics') via belief revision
systems to the logic of long-term processes over time.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2003-21 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2003 |
| Uncontrolled Keywords: | dynamic logic, epistemic logic, belief revision, update, communication, games, temporal logic |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/105 |
Actions (login required)
 |
View Item |
