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]

Authors

Matteo Baldoni

This author has not been identified. Look up 'Matteo Baldoni' in Google

Cristina Baroglio

This author has not been identified. Look up 'Cristina Baroglio' in Google

Viviana Patti

This author has not been identified. Look up 'Viviana Patti' in Google