• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Faculty of Social Sciences
  • Department of Information Science and Media Studies
  • Department of Information Science and Media Studies
  • View Item
  •   Home
  • Faculty of Social Sciences
  • Department of Information Science and Media Studies
  • Department of Information Science and Media Studies
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

To be Announced: Understanding and model checking Group Announcement Logic

Eide, Anders Kåre
Master thesis
Thumbnail
View/Open
master thesis (1.576Mb)
URI
http://hdl.handle.net/1956/20618
Date
2019-07-10
Metadata
Show full item record
Collections
  • Department of Information Science and Media Studies [601]
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.
Publisher
The University of Bergen
Copyright
Copyright the Author. All rights reserved

Related items

Showing items related by title, author, creator and subject.

  • Editing Wittgenstein’s "Notes on Logic" 

    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 ...
  • Non-Boolean classical relevant logics I 

    Ø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 ...
  • Disagreement about logic 

    Hjortland, Ole Thomassen (Peer reviewed; Journal article, 2019)
    What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused ...

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit