Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Aucher, G., van Benthem, J., & Grossi, D. (2018). Modal logics of sabotage revisited. Journal of Logic and Computation, 28(2), 269–303. https://doi.org/10.1093/logcom/exx034
  • Van Benthem, J., & Liu, F. (2018). Deontic Logic and Changing Preferences. In D. M. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 18, pp. 1-49). Springer. https://doi.org/10.1007/978-3-319-97755-3_1
  • van Benthem, J. (2018). Constructive agents. Indagationes Mathematicae, 29(1), 23-35. https://doi.org/10.1016/j.indag.2017.10.004
  • Open Access
    van Benthem, J., van Eijck, J., Gattinger, M., & Su, K. (2018). Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond. Journal of Logic and Computation, 28(2), 367-402. https://doi.org/10.1093/logcom/exx038
  • Open Access
    van Benthem, J. (2018). Computation as social agency: What, how and who. Information and Computation, 261(3), 519-535. https://doi.org/10.1016/j.ic.2017.09.009
  • van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A propositional dynamic logic for instantial neighborhood models. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 137-150). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_10
  • van Benthem, J. (2017). Bunebrivi logika: 1980-iani wlebis kvlevebi. Ena Logika Kompiuterizac'ia, 5, 55-84. https://www3.risc.jku.at/people/tkutsia/clls/llc/2017_v05.pdf
  • van Benthem, J. (2017). Against All Odds: When Logic Meets Probability. In J.-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 239-253). (Lecture Notes in Computer Science; Vol. 10500). Springer. https://doi.org/10.1007/978-3-319-68270-9_12
  • van Benthem, J., Bezhanishvili, N., & Holliday, W. H. (2017). A bimodal perspective on possibility semantics. Journal of Logic and Computation, 27(5), 1353-1389. https://doi.org/10.1093/logcom/exw024
  • Open Access
    van Benthem, J., Bezhanishvili, N., Enqvist, S., & Yu, J. (2017). Instantial neighbourhood logic. Review of Symbolic Logic, 10(1), 116-144. https://doi.org/10.1017/S1755020316000447
Page 4 of 49