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]

@inproceedings{BaldoniBP08,
  title = {Multimodal Logics for Reasoning about Interaction},
  author = {Matteo Baldoni and Cristina Baroglio and Viviana Patti},
  year = {2008},
  url = {http://ceur-ws.org/Vol-487/paper15.pdf},
  researchr = {https://researchr.org/publication/BaldoniBP08},
  cites = {0},
  citedby = {0},
  booktitle = {Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008},
  editor = {Matteo Baldoni and Cristina Baroglio},
  volume = {487},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}