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