| Original language | English |
|---|---|
| Journal | Electronical Notes in Theoretical Computer Science |
| Pages (from-to) | 141-156 |
| Number of pages | 16 |
| ISSN | 1571-0661 |
| DOIs | |
| Publication status | Published - 2010 |
| Event | The 6th Workshop on Methods for Modalities (M4M-6 2009) - Copenhagen, Denmark Duration: 12 Nov 2009 → 14 Nov 2009 |
Conference
| Conference | The 6th Workshop on Methods for Modalities (M4M-6 2009) |
|---|---|
| Country | Denmark |
| City | Copenhagen |
| Period | 12/11/2009 → 14/11/2009 |
Cite this
@inproceedings{c307a7f06c9511dfaa50000ea68e967b,
title = "Terminating Tableaux for Dynamic Epistemic Logics",
author = "Hansen, {Jens Ulrik}",
note = "Udgivelsesdato: 12-05-2010 Volumne: 262",
year = "2010",
doi = "10.1016/j.entcs.2010.04.011",
language = "English",
pages = "141--156",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",
}
Terminating Tableaux for Dynamic Epistemic Logics. / Hansen, Jens Ulrik.
In: Electronical Notes in Theoretical Computer Science, 2010, p. 141-156.Research output: Contribution to journal › Conference article › Research › peer-review
TY - GEN
T1 - Terminating Tableaux for Dynamic Epistemic Logics
AU - Hansen, Jens Ulrik
N1 - Udgivelsesdato: 12-05-2010 Volumne: 262
PY - 2010
Y1 - 2010
U2 - 10.1016/j.entcs.2010.04.011
DO - 10.1016/j.entcs.2010.04.011
M3 - Conference article
SP - 141
EP - 156
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
ER -