Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Open Access
    Sevenster, M. (2006). Branches of imperfect information : logic, games, and computation. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
  • van Benthem, J. F. A. K. (2005). A Farewell to Loneliness: dynamic trends in logic-to-day. (Technical Reports; No. X-2005-03). Institute for Logic, Language and Computation.
  • van Benthem, J. (2005). De Kunst van het Kennis Maken: De wetenschap van kennis en informatie. BLIND : Interdisciplinair Tijdschrift, 3. http://www.ziedaar.nl/article.php?id=204
  • van Benthem, J. F. A. K. (2005). Formal Methods in Philosophy. In V. Hendricks, & J. Symons (Eds.), Formal Philosophy Automatic Press.
  • van Benthem, J. F. A. K. (2005). Open Problems in Logic and Games. In S. Artemov, H. Barringer, A. d' Avila Garcez, L. Lamb, & J. Woods (Eds.), Essays in Honour of Dov Gabbay (pp. 229-264). King's College Publications.
  • van Benthem, J. F. A. K. (2005). Open Problems in Logical Dynamics. (Technical Reports; No. PP-2005-06). Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K. (2005). A Note on Modeling Theories. In R. Festa, A. Aliseda, & J. Peijnenburg (Eds.), Poznan Studies in the Philosophy of the Sciences and the Humanities,Confirmation, Empirical Progress and Truth Approximation. Essays in (pp. 403-419). Rodopi.
  • van Benthem, J. F. A. K. (2005). Modal Frame Correspondence Generalized. (Technical Reports; No. PP-2005-08). Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K., van Eijck, D. J. N., & Kooi, B. (2005). Logics of Communication and Change. (Technical Reports; No. PP-2005-09). Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K., Heinzmann, G., & Rebuschi, M. (2005). The Age of Alternative Logics. Kluwer-Springer.
Page 23 of 49