Modelling Simultaneous games with Concurrent Dynamic logic

Authors
Publication date 2007
Host editors
  • J. van Benthem
  • S. Ju
  • F. Veltman
Book title A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI)
Volume | Issue number 8
Pages (from-to) 243-258
Publisher Beijing: Texts in Computing Science, College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back