I'll talk about a project to use intuitionistic linear logic for
agents to interact. This forms a light weight dynamic protocol, where
the agents only need to have a minimal shared ontology and where the
resulting interaction protocol is driven by agents knowledge and thier
use of it in planning.