A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)

Barteld Kooi; Hans van Ditmarsch; Wiebe van der Hoek

A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)

Barteld Kooi
, Hans van Ditmarsch
, Wiebe van der Hoek

Research output: Contribution to journal › Meeting Abstract › Academic

102 Downloads (Pure)

Original language	English
Pages (from-to)	260-261
Number of pages	2
Journal	The Bulletin of Symbolic Logic
Volume	9
Issue number	2
Publication status	Published - 2003
Event	2002 Annual Conference of the Australasian Association for Logic - Canberra , Australia Duration: 30-Nov-2002 → 2-Dec-2002

Access to Document

A description language for dynamic epistemic Final publisher's version, 399 KBLicence: Unspecified

Handle.net

Persistent link

Cite this

@article{ab0dc35ba01d44fb838a0261523c483b,

title = "A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)",

author = "Barteld Kooi and \{van Ditmarsch\}, Hans and \{van der Hoek\}, Wiebe",

year = "2003",

language = "English",

volume = "9",

pages = "260--261",

journal = "The Bulletin of Symbolic Logic",

number = "2",

note = "2002 Annual Conference of the Australasian Association for Logic ; Conference date: 30-11-2002 Through 02-12-2002",

}

TY - JOUR

T1 - A Description Language for Dynamic Epistemic Actions, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002)

AU - Kooi, Barteld

AU - van Ditmarsch, Hans

AU - van der Hoek, Wiebe

PY - 2003

Y1 - 2003

M3 - Meeting Abstract

VL - 9

SP - 260

EP - 261

JO - The Bulletin of Symbolic Logic

JF - The Bulletin of Symbolic Logic

IS - 2

T2 - 2002 Annual Conference of the Australasian Association for Logic

Y2 - 30 November 2002 through 2 December 2002

ER -