We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment. The semantics of the logic are given ...

We introduce two logics for partiality, a call-by-value logic and a call-by-name logic. Both logics are variants of the logic of partial terms, an extension of the first-order predicate calculus by a definedness predicate. In our logics, however, quantifiers may only be instantiated to value terms and not to arbitrary, defined terms as in the logic of partial terms. We show that the call-by-val...

A Correction to this paper has been published: https://doi.org/ 10.1038/s41586-020-03097-4

We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment. The semantics of the logic are given in t...

In this paper we propose dynamic description logic for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, our logic is effective and significant both for static and dynamic environment. On the static side, we employ descrip...