Terminating Tableaux for Dynamic Epistemic Logics

Jens Ulrik Hansen

doi:10.1016/j.entcs.2010.04.011

Terminating Tableaux for Dynamic Epistemic Logics

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Volume	262
Pages (from-to)	141-156
Number of pages	16
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2010.04.011
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/Territory	Denmark
City	Copenhagen
Period	12/11/2009 → 14/11/2009

Link to document

10.1016/j.entcs.2010.04.011

Cite this

@inproceedings{c307a7f06c9511dfaa50000ea68e967b,

title = "Terminating Tableaux for Dynamic Epistemic Logics",

author = "Hansen, {Jens Ulrik}",

note = "Udgivelsesdato: 12-05-2010 Volumne: 262; The 6th Workshop on Methods for Modalities (M4M-6 2009) ; Conference date: 12-11-2009 Through 14-11-2009",

year = "2010",

doi = "10.1016/j.entcs.2010.04.011",

language = "English",

volume = "262",

pages = "141--156",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Pergamon Press",

}

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

SN - 1571-0661

VL - 262

SP - 141

EP - 156

JO - Electronical Notes in Theoretical Computer Science

JF - Electronical Notes in Theoretical Computer Science

T2 - The 6th Workshop on Methods for Modalities (M4M-6 2009)

Y2 - 12 November 2009 through 14 November 2009

ER -