Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 20
Number of items: 20
  • van Ditmarsch, H., van Eijck, J., Sietsma, F., & Wang, Y. (2012). On the Logic of Lying. In J. van Eijck, & R. Verbrugge (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp. 41-72). (Lecture Notes in Computer Science; Vol. 7010), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-29326-9_4
  • Open Access
    Minică, Ş. A. (2011). Dynamic logic of questions. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • van Ditmarsch, H., van Eijck, J., & Wu, W. (2010). Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, 20(3), 173-191. https://doi.org/10.3166/jancl.20.173-191
  • Open Access
    Ågotnes, T., van Benthem, J., van Ditmarsch, H., & Minică, Ş. (2010). Question-answer games. In LOFT 2010: 9th Conference on Logic and the Foundations of Game and Decision Theory: University of Toulouse (France), 5-7 July, 2010 University of Liverpool, Computer Science Department. http://loft2010.csc.liv.ac.uk/papers/34.pdf
  • van Benthem, J., van Ditmarsch, H., & van Eijck, J. (2009). Logica in actie. Academic Service.
  • Open Access
    Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2008). ‘Knowable’ as ‘known after an announcement’. Review of Symbolic Logic, 1(3), 305-334. https://doi.org/10.1017/S1755020308080210
  • Balbiani, P., Baltag, A., van Ditmarsch, H. P., Herzig, A., Hoshi, T., & de Lima, T. (2007). What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. In Proceedings of the 11th conference on TARK 2007 (pp. 42-51). AMC.
  • van Benthem, J. F. A. K., van Ditmarsch, H. P., Ketting, J., Lodder, J. S., & Meyer-Viol, W. P. M. (2003). Logica voor Informatica. (3e ed.) Pearson Addison Wesley.
  • Sint, H. J., van Ditmarsch, H. P., Gilbert, L. F., Hiemstra, A., Jansweijer, W. N. H., Trimp, H., & Hummel, H. G. K. (1994). Kennissystemen 2. Open Universiteit.
  • van Benthem, J. F. A. K., van Ditmarsch, H. P., Ketting, J., & Meyer-Viol, W. P. M. (1991). Logica voor Informatici. Addison Wesley Educational Publishers.
Page 2 of 2