In epistemic logic, a key formal theory for reasoning about knowledge in AI and other fields,
different notions of group knowledge describe different ways in which knowledge can be …

We propose communication pattern logic. A communication pattern describes how
processes or agents inform each other, independently of the information content. The full …

Any kind of dynamics in dynamic epistemic logic can be represented as an action model.
Right? Wrong! In this contribution we prove that the update expressivity of communication …

There has been a significant interest in modal logics with intersection, prominent examples
including epistemic and doxastic logics with distributed knowledge, propositional dynamic …

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 …

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 …

My work is about technical results about autonomous agents (robots, humans, UAVs, etc.)
that can reason about high-order knowledge properties (eg, agent a knows that agent b …

Since China adopted the policy of reform and opening up in 1978, Chinese logicians have
made a great effort to promote logical research and education in China, and have achieved …

Since China adopted the policy of reform and opening up in 1978, Chinese logicians have
made a great effort to promote logical research and education in China, and have achieved …