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