TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Hans van Ditmarsch

Gastprof. Prof. Prof. Dr.

Role

Contact

  • Impure simplicial complexes: complete axiomatization / Randrianomentsoa, R. F., van Ditmarsch, H., & Kuznets, R. (2023). Impure simplicial complexes: complete axiomatization. Logical Methods in Computer Science, 19(4), Article 3. https://doi.org/10.46298/lmcs-19(4:3)2023
    Download: publisher pdf (525 KB)
    Project: ByzDEL (2020–2025)
  • Simplicial Introduction / van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. F. (2023, October 6). Simplicial Introduction [Presentation]. Prague CELIA Workshop 2023, Prague, Czechia.
    Project: ByzDEL (2020–2025)
  • On Two- and Three-valued Semantics for Impure Simplicial Complexes / van Ditmarsch, H., Kuznets, R., & Randrianomentsoa, R. (2023). On Two- and Three-valued Semantics for Impure Simplicial Complexes. In A. Achilleos & D. Della Monica (Eds.), Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (pp. 50–66). Open Publishing Association. https://doi.org/10.4204/EPTCS.390.4
    Download: publisher pdf (222 KB)
    Project: ByzDEL (2020–2025)
  • Framing faultiness Kripke style / van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022, September 6). Framing faultiness Kripke style [Conference Presentation]. MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference, Capaccio Paestum, Italy.
    Download: PDF (309 KB)
    Project: ByzDEL (2020–2025)
  • A new hope / van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022). A new hope. In D. Fernández-Duque, A. PALMIGIANO, & S. Pinchinat (Eds.), Advances in Modal Logic, Volume 14 (pp. 349–369). College Publications. https://doi.org/10.34726/2821
    Download: publisher pdf (869 KB)
    Project: ByzDEL (2020–2025)
  • On Semantic Games for Łukasiewicz Logic / Fermüller, C., & Majer, O. (2018). On Semantic Games for Łukasiewicz Logic. In H. van Ditmarsch & G. Sandu (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp. 263–278). Springer. http://hdl.handle.net/20.500.12708/29877