Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 11
Number of items: 11
  • Open Access
    van Benthem, J., van Eijck, J., Gattinger, M., & Su, K. (2015). Symbolic Model Checking for Dynamic Epistemic Logic. In W. van der Hoek, W. H. Holliday, & W.-F. Wang (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp. 366-378). (Lecture Notes in Computer Science ; Vol. 9394), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48561-3_30
Page 2 of 2