Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 70
Number of items: 70
  • Open Access
    van Eijck, J., Ju, F., & Xu, T. (2024). Modeling dynamics of legal relations with dynamic logic. Journal of Logic and Computation, 34(2), 372–398. https://doi.org/10.1093/LOGCOM/EXAC055
  • 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
    Gattinger, M. (2018). New Directions in Model Checking Dynamic Epistemic Logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., & Schwarzentruber, F. (2017). Epistemic protocols for dynamic gossip. Journal of Applied Logic, 20, 1-31. https://doi.org/10.1016/j.jal.2016.12.001
  • Open Access
    van Eijck, J., Gattinger, M., & Wang, Y. (2017). Knowing Values and Public Inspection. In S. Ghosh, & S. Prasad (Eds.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings (pp. 77-90). (Lecture Notes in Computer Science; Vol. 10119), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54069-5_7
  • Open Access
    van Benthem, J., van Ditmarsch, H., van Eijck, J., & Jaspars, J. (2016). Logic in Action. (New ed.) Logic in Action. http://logicinaction.org/
  • van Eijck, J. (2015). Strategies in Social Software. In J. van Benthem, S. Ghosh, & R. Verbrugge (Eds.), Models of Strategic Reasoning: Logics, Games, and Communities (pp. 292-317). (Lecture Notes in Computer Science; Vol. 8972), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48540-8_9
  • Open Access
    van Eijck, J., & Gattinger, M. (2015). Elements of epistemic crypto logic. In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (Vol. 3, pp. 1795-1796). International Foundation for Autonomous Agents and Multiagent Systems. http://www.aamas-conference.org/Proceedings/aamas2015/aamas/p1795.pdf
  • van Eijck, J. (2015). Varieties of Belief and Probability. In S. Ghosh, & J. Szymanik (Eds.), The facts matter (pp. 67-87). (Tributes; No. 25). College Publications.
  • Open Access
    van Eijck, J. (2015). Implementing Semantic Theories. In S. Lappin, & C. Fox (Eds.), The Handbook of Contemporary Semantic Theory (2 ed., pp. 455-491). (Blackwell handbooks in linguistics). Wiley Blackwell. https://doi.org/10.1002/9781118882139.ch15
Page 1 of 7