Volume 126, March 2005

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)

• 
  Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. 1-2
• 
  Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. 3-26
• 
  Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh: Algebra and Sequent Calculus for Epistemic Actions. 27-52
• 
  Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink: Toward Reasoning about Security Protocols: A Semantic Approach. 53-75
• 
  Sieuwert van Otterloo, Geert Jonker: On Epistemic Temporal Strategic Logic. 77-92
• 
  Bozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded Model Checking for Deontic Interpreted Systems. 93-114