06/11/2009, 16:15 — 17:15 — Room P3.10, Mathematics Building
Michal Walicki, Institute of Informatics, U Bergen, Norway
Sequence Logic - a Flexible Tool for Analysis of (Epistemic)
Protocols
I give an overview of sequence logic, SL, which allows one to
model and reason about agents which
- are equipped with arbitrary internal logics and
- can interact over linear time.
Changing the agents’ logic or the model of time can affect
correctness of a protocol. Using simple examples, I show how this
can be analysed in SL.
