To be Announced: Understanding and model checking Group Announcement Logic
Master thesis
Permanent lenke
http://hdl.handle.net/1956/20618Utgivelsesdato
2019-07-10Metadata
Vis full innførselSamlinger
Sammendrag
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.
Utgiver
The University of BergenOpphavsrett
Copyright the Author. All rights reservedBeslektede innførsler
Viser innførsler beslektet ved tittel, forfatter og emneord.
-
Logical Nihilism and the logic of 'prem'.
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 ... -
At the crossroads of logics: Automating newswork with artificial intelligence—(Re)defining journalistic logics from the perspective of technologists
Sirén-Heikel, Stefanie; Kjellman, Martin; Linden, Carl-Gustav (Journal article; Peer reviewed, 2023)As artificial intelligence (AI) technologies become more ubiquitous for streamlining and optimizing work, they are entering fields representing organizational logics at odds with the efficiency logic of automation. One ... -
The Logic of Fast and Slow Thinking
Solaki, Anthia; Berto, Francesco; Smets, Sonja (Peer reviewed; Journal article, 2019-06-01)We present a framework for epistemic logic, modeling the logical aspects of System 1 (“fast”) and System 2 (“slow”) cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds ...