Multimodal Logics for Reasoning about Interaction

Matteo Baldoni, Cristina Baroglio, Viviana Patti. Multimodal Logics for Reasoning about Interaction. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Abstract

Abstract is missing.