A Hybrid Public Announcement Logic with Distributed Knowledge

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume273
Pages (from-to)33-50
ISSN1571-0661
DOIs
Publication statusPublished - 8 Jul 2011

Cite this

@article{3df4b16c370f433d81fcad7f301a4fec,
title = "A Hybrid Public Announcement Logic with Distributed Knowledge",
author = "Hansen, {Jens Ulrik}",
year = "2011",
month = "7",
day = "8",
doi = "10.1016/j.entcs.2011.06.011",
language = "English",
volume = "273",
pages = "33--50",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",

}

A Hybrid Public Announcement Logic with Distributed Knowledge. / Hansen, Jens Ulrik.

In: Electronic Notes in Theoretical Computer Science, Vol. 273, 08.07.2011, p. 33-50.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - A Hybrid Public Announcement Logic with Distributed Knowledge

AU - Hansen, Jens Ulrik

PY - 2011/7/8

Y1 - 2011/7/8

U2 - 10.1016/j.entcs.2011.06.011

DO - 10.1016/j.entcs.2011.06.011

M3 - Journal article

VL - 273

SP - 33

EP - 50

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -