To be Announced: Understanding and model checking Group Announcement Logic
dc.contributor.author | Eide, Anders Kåre | |
dc.date.accessioned | 2019-07-31T12:38:30Z | |
dc.date.available | 2019-07-31T12:38:30Z | |
dc.date.issued | 2019-07-10 | |
dc.date.submitted | 2019-07-09T22:00:02Z | |
dc.identifier.uri | http://hdl.handle.net/1956/20618 | |
dc.description.abstract | In 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.iso | eng | |
dc.publisher | The University of Bergen | |
dc.subject | Dynamic Epistemic Logic | |
dc.subject | Group Announcement Logic | |
dc.subject | Public Announcement Logic | |
dc.subject | Epistemic logic | |
dc.subject | Model checking | |
dc.title | To be Announced: Understanding and model checking Group Announcement Logic | |
dc.type | Master thesis | en_US |
dc.date.updated | 2019-07-09T22:00:02Z | |
dc.rights.holder | Copyright the Author. All rights reserved | en_US |
dc.description.degree | Masteroppgave i informasjonsvitenskap | |
dc.description.localcode | INFO390 | |
dc.description.localcode | MASV-INFO | |
dc.description.localcode | MASV-IKT | |
dc.subject.nus | 735115 | |
fs.subjectcode | INFO390 | |
fs.unitcode | 15-17-0 |