Terminating tableaux for dynamic epistemic logics

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
Book seriesRoskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter
Issue number128
Pages (from-to)88-102
Number of pages15
ISSN0109-9779
Publication statusPublished - 2009
Event6th workshop on Methods for Modalities (M4M) - Copenhagen, Denmark
Duration: 12 Nov 200914 Nov 2009

Conference

Conference6th workshop on Methods for Modalities (M4M)
CountryDenmark
CityCopenhagen
Period12/11/200914/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 Universitet. Computer Science. Computer Science Research Report",
issn = "0109-9779",
number = "128",

}

Terminating tableaux for dynamic epistemic logics. / Hansen, Jens Ulrik.

In: Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter, No. 128, 2009, p. 88-102.

Research output: Contribution to journalConference articleResearchpeer-review

TY - GEN

T1 - Terminating tableaux for dynamic epistemic logics

AU - Hansen, Jens Ulrik

PY - 2009

Y1 - 2009

M3 - Conference article

SP - 88

EP - 102

JO - Roskilde Universitet. Computer Science. Computer Science Research Report

JF - Roskilde Universitet. Computer Science. Computer Science Research Report

SN - 0109-9779

IS - 128

ER -