Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • van Benthem, J. (2010). Modal logic for open minds. (CSLI lecture notes; No. 199). CSLI Publications.
  • van Benthem, J. (2010). Luo ji zhi men-- Yuehan Fanbentemu jing dian zhu zuo. - Juan 3: Mo tai dui ying li lun. Ke xue chu ban she.
  • Dégremont, C. M. L. (2010). The temporal mind : observations on the logic of belief change in interactive systems. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
  • van Benthem, J., & Dégremont, C. (2010). Bridges between dynamic doxastic and doxastic temporal logics. In G. Bonanno, B. Löwe, & W. van der Hoek (Eds.), Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers (pp. 151-173). (Lecture Notes in Computer Science; Vol. 6006), (Lecture Notes in Artificial Intelligence), (FoLLI publications on logic, language and information). Springer. https://doi.org/10.1007/978-3-642-15164-4_8
  • van Benthem, J. (2010). Logic between expressivity and complexity. In J. Giesl, & R. Hähnle (Eds.), Automated Reasoning: 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings (pp. 122-126). (Lecture Notes in Computer Science; Vol. 6173), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-14203-1_10
  • van Benthem, J., Grossi, D., & Liu, F. (2010). Deontics = Betterness + Priority. In G. Governatori, & G. Sartor (Eds.), Deontic Logic in Computer Science: 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings (pp. 50-65). (Lecture Notes in Computer Science; Vol. 6181), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-14183-6_6
  • 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
  • Open Access
    van Benthem, J., & Pacuit, E. (2010). Temporal Logics of Agency. Journal of Logic, Language and Information, 19(4), 389-393. https://doi.org/10.1007/s10849-009-9120-y
  • Open Access
    Gheerbrant, A. P. (2010). Fixed-point logics on trees. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Gierasimczuk, N. (2010). Knowing one's limits: logical analysis of inductive inference. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 13 of 49