Terminating Tableaux for Dynamic Epistemic Logics

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Pages (from-to)141-156
Number of pages16
ISSN1571-0661
DOIs
Publication statusPublished - 2010
EventThe 6th Workshop on Methods for Modalities (M4M-6 2009) - Copenhagen, Denmark
Duration: 12 Nov 200914 Nov 2009

Conference

ConferenceThe 6th Workshop on Methods for Modalities (M4M-6 2009)
CountryDenmark
CityCopenhagen
Period12/11/200914/11/2009

Cite this