Browsing Bergen Open Research Archive by Author "Ågotnes, Thomas"
Now showing items 1-8 of 8
-
Action Models for Coalition Logic
Galimullin, Rustam; Ågotnes, Thomas (Chapter, 2023)In the paper, we study the dynamics of coalitional ability by proposing an extension of coalition logic (CL). CL allows one to reason about what a coalition of agents is able to achieve through a joint action, no matter ... -
Coalition Logic for Specification and Verification of Smart Contract Upgrades
Galimullin, Rustam; Ågotnes, Thomas (Lecture Notes in Computer Science;13753, Chapter, 2022)It has been argued in the literature that logics for reasoning about strategic abilities, and in particular coalition logic (CL), are well-suited for verification of properties of smart contracts on a blockchain. Smart ... -
Group Belief
Ågotnes, Thomas; Wang, Yi N. (Journal article; Peer reviewed, 2020)While logical formalizations of group notions of knowledge such as common and distributed knowledge have received considerable attention in the literature, most approaches being based on modal logic, group notions of belief ... -
The logic of secrets and the interpolation rule
Xiong, Zuojun; Ågotnes, Thomas (Journal article; Peer reviewed, 2022)In this article we formalise the notion of knowing a secret as a modality, by combining standard notions of knowledge and ignorance from modal epistemic logic. Roughly speaking, Ann knows a secreet if and only if she knows ... -
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam (Journal article; Peer reviewed, 2022)Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of ... -
Modal Logics and Group Polarization
Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas (Journal article; Peer reviewed, 2021)This paper proposes different ways of modally defining properties related to the concept of balance in signed social networks where relations can be either positive or negative. The motivation is to be able to formally ... -
Quantifying over information change with common knowledge
Ågotnes, Thomas; Galimullin, Rustam (Journal article; Peer reviewed, 2023)Public announcement logic (PAL) extends multi-agent epistemic logic with dynamic operators modelling the effects of public communication. Allowing quantification over public announcements lets us reason about the existence ... -
What will they say?—Public Announcement Games
Ågotnes, Thomas; Ditmarsch, Hans van (Peer reviewed; Journal article, 2010-11-03)Dynamic epistemic logic describes the possible information-changingactions available to individual agents, and their knowledge pre- and post conditions.For example, public announcement logic describes actions in the form ...