Terminating tableaux for dynamic epistemic logics

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
BogserieRoskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter
Udgave nummer128
Sider (fra-til)88-102
Antal sider15
ISSN0109-9779
StatusUdgivet - 2009
Begivenhed6th workshop on Methods for Modalities (M4M) - Copenhagen, Danmark
Varighed: 12 nov. 200914 nov. 2009

Konference

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

}

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

I: Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter, Nr. 128, 2009, s. 88-102.

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