Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Merging Frameworks for Interaction

Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi and Eric Pacuit
Journal of Philosophical Logic
Vol. 38, No. 5 (Oct., 2009), pp. 491-526
Published by: Springer
Stable URL: http://www.jstor.org/stable/40344078
Page Count: 36
  • Download ($43.95)
  • Cite this Item
Merging Frameworks for Interaction
Preview not available

Abstract

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents' different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall, No Miracles, and Bisimulation Invariance. We then focus on new issues of completeness. One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual 'reduction axiom' format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL.

Page Thumbnails

  • Thumbnail: Page 
[491]
    [491]
  • Thumbnail: Page 
492
    492
  • Thumbnail: Page 
493
    493
  • Thumbnail: Page 
494
    494
  • Thumbnail: Page 
495
    495
  • Thumbnail: Page 
496
    496
  • Thumbnail: Page 
497
    497
  • Thumbnail: Page 
498
    498
  • Thumbnail: Page 
499
    499
  • Thumbnail: Page 
500
    500
  • Thumbnail: Page 
501
    501
  • Thumbnail: Page 
502
    502
  • Thumbnail: Page 
503
    503
  • Thumbnail: Page 
504
    504
  • Thumbnail: Page 
505
    505
  • Thumbnail: Page 
506
    506
  • Thumbnail: Page 
507
    507
  • Thumbnail: Page 
508
    508
  • Thumbnail: Page 
509
    509
  • Thumbnail: Page 
510
    510
  • Thumbnail: Page 
511
    511
  • Thumbnail: Page 
512
    512
  • Thumbnail: Page 
513
    513
  • Thumbnail: Page 
514
    514
  • Thumbnail: Page 
515
    515
  • Thumbnail: Page 
516
    516
  • Thumbnail: Page 
517
    517
  • Thumbnail: Page 
518
    518
  • Thumbnail: Page 
519
    519
  • Thumbnail: Page 
520
    520
  • Thumbnail: Page 
521
    521
  • Thumbnail: Page 
522
    522
  • Thumbnail: Page 
523
    523
  • Thumbnail: Page 
524
    524
  • Thumbnail: Page 
525
    525
  • Thumbnail: Page 
526
    526