Search results
Results: 16
Number of items: 16
-
Ramezanian, R., Ramezanian, R., van Ditmarsch, H., & Gattinger, M. (2021). Everyone Knows that Everyone Knows. In M. Mojtahedi, S. Rahman, & M. S. Zarepour (Eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir (pp. 117-133). (Logic, Epistemology, and the Unity of Science; Vol. 49). Springer. https://doi.org/10.1007/978-3-030-53654-1_5
-
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 -
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
-
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 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
Page 2 of 2