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