To be Announced: Understanding and model checking Group Announcement Logic
MetadataShow full item record
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.
PublisherThe University of Bergen
CopyrightCopyright the Author. All rights reserved
Showing items related by title, author, creator and subject.
Fjellstad, Andreas (Journal article; Peer reviewed, 2020)As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument ...
Biggs, Michael (Working Papers from the Wittgenstein Archives at the University of Bergen, Working paper, 1996)Volume one contains a discussion of, and detailed comparison between, the two published editions of Wittgenstein's "Notes on Logic". It also contains many tables and concordances by which the published editions may be ...
Øgaard, Tore Fjetland (Peer reviewed; Journal article, 2019)Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment ...