Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 15
Number of items: 15
  • Open Access
    Baltag, A., Gattinger, M., & Gomes, D. (2026). Virtual Group Knowledge and Group Belief in Topological Evidence Models. In J. Wang, A. Madeira, & L. Li (Eds.), Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025 : revised selected papers (pp. 96-114). (Lecture Notes in Computer Science; Vol. 16472). Springer. https://doi.org/10.1007/978-3-032-22626-6_6, https://doi.org/10.48550/arXiv.2509.00184
  • Open Access
    Bílková, M., Gattinger, M., van der Giessen, I., Girlando, M., & Wang, Y. (2026). Preface. Electronic Proceedings in Theoretical Computer Science, 447. https://doi.org/10.4204/EPTCS.447
  • Open Access
    van Ditmarsch, H., Gattinger, M., & Smit, W. J. (2026). Completeness and Decidability of Protocol-Dependent Knowledge in Gossip. In J. Wang, A. Madeira, & L. Li (Eds.), Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025 : revised selected papers (pp. 151–166). (Lecture Notes in Computer Science; Vol. 16472). Springer. https://doi.org/10.1007/978-3-032-22626-6_9
  • Open Access
    Behnke, G., Gattinger, M., Wang, H., & Ghosh, A. (2025). Comparing State-Representations for DEL Model Checking. Electronic Proceedings in Theoretical Computer Science, 437, 233-250. https://doi.org/10.4204/EPTCS.437.21
  • Open Access
    Borzechowski, M., Gattinger, M., Hansen, H. H., Ramanayake, R., Trucco Dalmas, V., & Venema, Y. (2025). Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2503.13276
  • Open Access
    van Ditmarsch, H., & Gattinger, M. (2024). You can only be lucky once: optimal gossip for epistemic goals. Mathematical Structures in Computer Science, 34(7), 661-688. https://doi.org/10.1017/S0960129524000082
  • Open Access
    van Ditmarsch, H., Gattinger, M., & Ramezanian, R. (2023). Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Studia Logica, 111(3), 453–499. https://doi.org/10.48550/arXiv.2011.13203, https://doi.org/10.1007/s11225-022-10032-3
  • Open Access
    Miedema, D., & Gattinger, M. (2023). Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. Electronic Proceedings in Theoretical Computer Science, 379, 407-420. https://doi.org/10.4204/EPTCS.379.32
  • van Ditmarsch, H., & Gattinger, M. (2022). The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. In A. Ciabattoni, E. Pimentel, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings (pp. 237-249). (Lecture Notes in Computer Science; Vol. 13468), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-15298-6_15
  • 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
Page 1 of 2