Terminating tableaux for dynamic epistemic logics

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

Original language	English
Book series	Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter
Issue number	128
Pages (from-to)	88-102
Number of pages	15
ISSN	0109-9779
Publication status	Published - 2009
Event	6th workshop on Methods for Modalities (M4M) - Copenhagen, Denmark Duration: 12 Nov 2009 → 14 Nov 2009

Conference	6th workshop on Methods for Modalities (M4M)
Country/Territory	Denmark
City	Copenhagen
Period	12/11/2009 → 14/11/2009

Cite this

@inproceedings{ac5895d0bcb611dea2b9000ea68e967b,

title = "Terminating tableaux for dynamic epistemic logics",

author = "Hansen, {Jens Ulrik}",

year = "2009",

language = "English",

pages = "88--102",

journal = "Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter",

issn = "0109-9779",

number = "128",

note = "6th workshop on Methods for Modalities (M4M) ; Conference date: 12-11-2009 Through 14-11-2009",

}

TY - GEN

T1 - Terminating tableaux for dynamic epistemic logics

AU - Hansen, Jens Ulrik

PY - 2009

Y1 - 2009

M3 - Conference article

SN - 0109-9779

SP - 88

EP - 102

JO - Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter

JF - Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter

IS - 128

T2 - 6th workshop on Methods for Modalities (M4M)

Y2 - 12 November 2009 through 14 November 2009

ER -