Terminating Tableaux for Dynamic Epistemic Logics

Jens Ulrik Hansen

doi:10.1016/j.entcs.2010.04.011

Terminating Tableaux for Dynamic Epistemic Logics

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronical Notes in Theoretical Computer Science
Vol/bind	262
Sider (fra-til)	141-156
Antal sider	16
ISSN	1571-0661
DOI	https://doi.org/10.1016/j.entcs.2010.04.011
Status	Udgivet - 2010
Begivenhed	The 6th Workshop on Methods for Modalities (M4M-6 2009) - Copenhagen, Danmark Varighed: 12 nov. 2009 → 14 nov. 2009

Konference

Konference	The 6th Workshop on Methods for Modalities (M4M-6 2009)
Land/Område	Danmark
By	Copenhagen
Periode	12/11/2009 → 14/11/2009

Bibliografisk note

Udgivelsesdato: 12-05-2010
Volumne: 262

Link til dokument

10.1016/j.entcs.2010.04.011

Citer dette

@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 -