Zobrazeno 1 - 10
of 394
pro vyhledávání: '"van der Hoek, Wiebe"'
Publikováno v:
EPTCS 379, 2023, pp. 82-92
Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\square \phi \rightarrow \square\squar
Externí odkaz:
http://arxiv.org/abs/2307.05040
We provide an in-depth study of the knowledge-theoretic aspects of communication in so-called gossip protocols. Pairs of agents communicate by means of calls in order to spread information---so-called secrets---within the group. Depending on the natu
Externí odkaz:
http://arxiv.org/abs/1807.05283
Publikováno v:
Information and Computation 275: 104544 (2020)
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities ind
Externí odkaz:
http://arxiv.org/abs/1802.00914
Publikováno v:
In Artificial Intelligence December 2022 313
The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations ("it ought to be the case that ... if it is the case that ..."). Although this log
Externí odkaz:
http://arxiv.org/abs/1710.03481
Publikováno v:
EPTCS 251, 2017, pp. 28-42
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 l
Externí odkaz:
http://arxiv.org/abs/1707.08735
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the
Externí odkaz:
http://arxiv.org/abs/1609.05686
Publikováno v:
EPTCS 215, 2016, pp. 51-66
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provi
Externí odkaz:
http://arxiv.org/abs/1606.07516
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the lite
Externí odkaz:
http://arxiv.org/abs/1503.00806