Terminating Tableaux for Dynamic Epistemic Logics

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Pages (from-to)141-156
Number of pages16
ISSN1571-0661
DOIs
Publication statusPublished - 2010
EventThe 6th Workshop on Methods for Modalities (M4M-6 2009) - Copenhagen, Denmark
Duration: 12 Nov 200914 Nov 2009

Conference

ConferenceThe 6th Workshop on Methods for Modalities (M4M-6 2009)
CountryDenmark
CityCopenhagen
Period12/11/200914/11/2009

Cite this

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

In: Electronical Notes in Theoretical Computer Science, 2010, p. 141-156.

Research output: Contribution to journalConference articleResearchpeer-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 -