Gaia Belardinelli

Gaia Belardinelli

PhD fellow

Member of:


    Publication year:
    All
    1. 2020
    2. Published

      Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode

      Belardinelli, Gaia & Rendsvig, Rasmus Kræmmer, 2020, Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic. Springer, Vol. 12569. (Lecture Notes in Computer Science, Vol. 12569).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 234256137