Show simple item record

dc.contributor.authorvan Benthem, Johan
dc.contributor.authorvan Eijck, Jan
dc.contributor.authorGattinger, Malvin
dc.contributor.authorSu, Kaile
dc.date.accessioned2021-01-13T00:05:24Z
dc.date.available2021-01-13T00:05:24Z
dc.date.issued2018
dc.identifier.issn0955-792X
dc.identifier.doi10.1093/logcom/exx038
dc.identifier.urihttp://hdl.handle.net/10072/400965
dc.description.abstractDynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. For more complex epistemic change we introduce knowledge transformers analogous to action models. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing methods for DEL. We also compare our approach to model checking for temporal logics. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherOxford University Press
dc.relation.ispartofpagefrom367
dc.relation.ispartofpageto402
dc.relation.ispartofissue2
dc.relation.ispartofjournalJournal of Logic and Computation
dc.relation.ispartofvolume28
dc.subject.fieldofresearchMathematical sciences
dc.subject.fieldofresearchPhilosophy and religious studies
dc.subject.fieldofresearchcode49
dc.subject.fieldofresearchcode50
dc.subject.keywordsScience & Technology
dc.subject.keywordsComputer Science, Theory & Methods
dc.subject.keywordsLogic
dc.titleSymbolic model checking for Dynamic Epistemic Logic-S5 and beyond
dc.typeJournal article
dc.type.descriptionC1 - Articles
dcterms.bibliographicCitationvan Benthem, J; van Eijck, J; Gattinger, M; Su, K, Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond, Journal of Logic and Computation, 2018, 28 (2), pp. 367-402
dc.date.updated2021-01-13T00:00:59Z
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 2018 Oxford University Press. This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Economic Entomology following peer review. The definitive publisher-authenticated version Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond, Journal of Logic and Computation, 2018, 28 (2), pp. 367-402 is available online at: https://doi.org/10.1093/logcom/exx038.
gro.hasfulltextFull Text
gro.griffith.authorSu, Kaile


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record