Bob Coecke

Home

Upcoming events

Work sessions

Main topic:

Annex topic 1:

Annex topic 2:

Past topics

Links

Annex topic 1:

• [Epistemic actions as resources] (to appear in Journal for Logic and Computation) We present the first purely algebraic formalism for information flow due to communication in a multi-agent system, which can include operations such as incomplete and wrong knowledge due to secrecy and deceit, and also nested knowledge. It is moreover explicitly resource-sensitive. We also provide a sound and complete sequent calculus for it in which propositions, actions as well as agents play the role of computational resources. Hence sophisticated distributed settings become subject to automated verification methods such as model checking and theorem proving. An earlier version of this work is in [Algebra and Sequent Calculus for Epistemic Actions].