Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Gupta, A., Parikh, R., & van Benthem, J. F. A. K. (2007). Logic at the Crossroads: An Interdisciplinary View. Allied Publishers Pvt. Ltd.
  • van Benthem, J., Gabbay, D., & Löwe, B. (2007). Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London. (Texts in logic and games; No. 1). Amsterdam University Press.
  • van Benthem, J. F. A. K., Gerbrandy, J. D., & Pacuit, E. J. (2007). Merging Frameworks for Interaction: DEL and ETL. In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp. 72-81). ACM DL.
  • van Benthem, J. F. A. K., Gupta, A., & Parikh, R. (2007). Logic at a Cross-Roads: logic and its interdisciplinary environment. Allied Publishers.
  • Bold, S., Löwe, B., Räsch, T., & van Benthem, J. F. A. K. (2007). Foundations of the formal sciences V: infinite games. (Studies in Logic; No. 11). College Publications.
  • Blackburn, P., Van Benthem, J., & Wolter, F. (2007). Handbook of Modal Logic. (Studies in Logic and Practical Reasoning; No. Volume 3). Elsevier.
  • van Benthem, J. F. A. K., Ghosh, S., & Liu, F. (2007). Modelling Simultaneous games with Concurrent Dynamic logic. In J. van Benthem, S. Ju, & F. Veltman (Eds.), A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI) (Vol. 8, pp. 243-258). Texts in Computing Science, College Publications.
  • van Benthem, J. F. A. K., Shier, J., & Veltman, F. (2007). A Meeting of the Minds: proceedings LORI Workshop Beijing. King's College Publications.
  • ten Cate, B. D., van Benthem, J. F. A. K., & Väänänen, J. (2007). Lindström theorems for fragments of first-order logic. In Proceedings of LICS 2007 (pp. 280-292)
  • van Benthem, J. F. A. K. (2007). Logic Games, From Tools to Models of Interaction. In A. Gupta, R. Parikh, & J. van Benthem (Eds.), Logic at the Crossroads (pp. 283-217). Allied Publishers.
Page 19 of 49