Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • 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
  • Open Access
    van Benthem, J. (2015). Oscillations, Logic, and Dynamical Systems. In S. Ghosh, & J. Szymanik (Eds.), The facts matter: essays on logic and cognition in honour of Rineke Verbrugge (pp. 9-22). (Tributes; No. 25). College Publications.
  • Open Access
    Zhong, S. (2015). Orthogonality and quantum geometry: Towards a relational reconstruction of quantum theory. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Benthem, J. (2014). Logic in games. MIT Press. https://mitpress.mit.edu/books/logic-games
  • Andréka, H., van Benthem, J., Bezhanishvili, N., & Németi, I. (2014). Changing a semantics: opportunism or courage? In M. Manzano, I. Sain, & E. Alonso (Eds.), The life and work of Leon Henkin: essays on his contributions (pp. 307-337). (Studies in Universal Logic). Birkhäuser. https://doi.org/10.1007/978-3-319-09719-0_20
  • van Benthem, J., Fernández-Duque, D., & Pacuit, E. (2014). Evidence and Plausibility in Neighborhood Structures. Annals of Pure and Applied Logic, 165(1), 106-133. https://doi.org/10.1016/j.apal.2013.07.007
  • van Benthem, J. (2014). Modeling Reasoning in a Social Setting. Studia Logica, 102(2), 235-265. https://doi.org/10.1007/s11225-014-9543-6
  • van Benthem, J. (2014). Natural Language and Logic of Agency. Journal of Logic, Language and Information, 23(3), 367-382. https://doi.org/10.1007/s10849-014-9188-x
  • van Benthem, J., Grossi, D., & Liu, F. (2014). Priority Structures in Deontic Logic. Theoria, 80(2), 116-152. https://doi.org/10.1111/theo.12028
  • Open Access
    van Benthem, J., & Pacuit, E. (2014). Connecting Logics of Choice and Change. In T. Müller (Ed.), Nuel Belnap on indeterminism and free action (pp. 291-314). (Outstanding contributions to logic; Vol. 2). Springer. https://doi.org/10.1007/978-3-319-01754-9_14
Page 7 of 49