A Separation Logic with Histories of Epistemic Actions as Resources.

Hans van Ditmarsch, Didier Galmiche, Marta Gawek

Browse the full WoLLIC paper archive.