Workshop Information
|
Accepted Papers
- Verifying Agent Conformance with Protocols: an Automata Based Approach. Laura Giordano and Alberto Martelli paper pdf
- Towards a Proof Theory
for Multi-Agent Logics with Irrevocable Strategies. Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga paper pdf
- Cut-free Single-pass Tableaux for
the Logic of Common Knowledge. Pietro Abate, Rajeev Goré and Florian Widmann
paper pdf
|
