Vis enkel innførsel

To be Announced: Understanding and model checking Group Announcement Logic

dc.contributor.authorEide, Anders Kåre
dc.date.accessioned2019-07-31T12:38:30Z
dc.date.available2019-07-31T12:38:30Z
dc.date.issued2019-07-10
dc.date.submitted2019-07-09T22:00:02Z
dc.identifier.urihttp://hdl.handle.net/1956/20618
dc.description.abstractIn this master’s thesis we present a graphical model checking tool for group announcement logic called GALMC, capable of visualizing the process of checking formulas in a step-by-step fashion. We also define how to enumerate the set of ways a given coalition can restrict a model as well as present pseudocode algorithms describing how we translated these definitions in our model checker.en_US
dc.language.isoeng
dc.publisherThe University of Bergen
dc.subjectDynamic Epistemic Logic
dc.subjectGroup Announcement Logic
dc.subjectPublic Announcement Logic
dc.subjectEpistemic logic
dc.subjectModel checking
dc.titleTo be Announced: Understanding and model checking Group Announcement Logic
dc.typeMaster thesisen_US
dc.date.updated2019-07-09T22:00:02Z
dc.rights.holderCopyright the Author. All rights reserveden_US
dc.description.degreeMasteroppgave i informasjonsvitenskap
dc.description.localcodeINFO390
dc.description.localcodeMASV-INFO
dc.description.localcodeMASV-IKT
dc.subject.nus735115
fs.subjectcodeINFO390
fs.unitcode15-17-0


Tilhørende fil(er)

Thumbnail
Filnavn:
Oppgave.pdf
Størrelse:
1.576Mb
Format:
PDF
Beskrivelse:
master thesis
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel