Add to ORKGABSTRACT The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains
This thesis has two main objects of study, closely related to each other. On the one hand, we provid...
This dissertation describes three distinct but complementary ways in which epistemic reasoning plays...
This dissertation presents a logical investigation of epistemic protocols, focussing on protocol-dyn...
We develop an epistemic logic to specify and reason about information flow and its underlying commu...
AbstractCurrent dynamic epistemic logics for analyzing effects of informational events often become ...
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on ...
We prove the cut-elimination theorems, the completeness theorems (with respect to Kripke models), th...
Abstract. In this paper, we develop an epistemic logic for specifying and reasoning about informatio...
Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to...
The goal of this dissertation is to give a logical representation of the knowledge dynamics that tak...
We examine the problem of efficient transmission of logical statements from a sender to a receiver u...
This paper introduces a temporal epistemic logic CBCTL that updates agent-s belief states through c...
Current dynamic epistemic logics for analyzing effects of informational events often become cumberso...
In the paper, certain rational postulates for protocols describing real communicating are introduced...
In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which n...
This thesis has two main objects of study, closely related to each other. On the one hand, we provid...
This dissertation describes three distinct but complementary ways in which epistemic reasoning plays...
This dissertation presents a logical investigation of epistemic protocols, focussing on protocol-dyn...
We develop an epistemic logic to specify and reason about information flow and its underlying commu...
AbstractCurrent dynamic epistemic logics for analyzing effects of informational events often become ...
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on ...
We prove the cut-elimination theorems, the completeness theorems (with respect to Kripke models), th...
Abstract. In this paper, we develop an epistemic logic for specifying and reasoning about informatio...
Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to...
The goal of this dissertation is to give a logical representation of the knowledge dynamics that tak...
We examine the problem of efficient transmission of logical statements from a sender to a receiver u...
This paper introduces a temporal epistemic logic CBCTL that updates agent-s belief states through c...
Current dynamic epistemic logics for analyzing effects of informational events often become cumberso...
In the paper, certain rational postulates for protocols describing real communicating are introduced...
In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which n...
This thesis has two main objects of study, closely related to each other. On the one hand, we provid...
This dissertation describes three distinct but complementary ways in which epistemic reasoning plays...
This dissertation presents a logical investigation of epistemic protocols, focussing on protocol-dyn...