Search Results for author:
Found 13 papers, 1 papers with code
Boolean Observation Games
An outcome relation between such sets determines what the Nash equilibria are.
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
We propose a logic of knowledge for impure simplicial complexes.
Distributed Computing
Distributed, Parallel, and Cluster Computing
Logic in Computer Science
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Additionally, we model that agents who are super experts do not make and do not answer calls, and that this is common knowledge.
To Be Announced
In this survey we review dynamic epistemic logics with modalities for quantification over information change.
A Logic for Global and Local Announcements
In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- $[\phi]^+_A$ and $[\phi]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local announcements respectively.
Asynchronous Announcements
We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order in which they were sent.
Dynamic Gossip
We define six such distributed dynamic gossip protocols, and we characterize them in terms of the topology of the graphs on which they are successful, wherein we distinguish strong success (the protocol always terminates, possibly assuming fair scheduling) from weak success (the protocol sometimes terminates).
Discrete Mathematics
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models (with respect to the plausibility relation), two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar.
An Introduction to Logics of Knowledge and Belief
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems.
Knowing Whether
In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that.
