Terminating Tableaux for Dynamic Epistemic Logics

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronical Notes in Theoretical Computer Science
Sider (fra-til)141-156
Antal sider16
ISSN1571-0661
DOI
StatusUdgivet - 2010
BegivenhedThe 6th Workshop on Methods for Modalities (M4M-6 2009) - Copenhagen, Danmark
Varighed: 12 nov. 200914 nov. 2009

Konference

KonferenceThe 6th Workshop on Methods for Modalities (M4M-6 2009)
LandDanmark
ByCopenhagen
Periode12/11/200914/11/2009

Bibliografisk note

Udgivelsesdato: 12-05-2010
Volumne: 262

Citer dette

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

I: Electronical Notes in Theoretical Computer Science, 2010, s. 141-156.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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 -