Terminating tableaux for dynamic epistemic logics

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

Originalsprog	Engelsk
Bogserie	Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter
Udgave nummer	128
Sider (fra-til)	88-102
Antal sider	15
ISSN	0109-9779
Status	Udgivet - 2009
Begivenhed	6th workshop on Methods for Modalities (M4M) - Copenhagen, Danmark Varighed: 12 nov. 2009 → 14 nov. 2009

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

Citer dette

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