Gaia Belardinelli

Gaia Belardinelli

PhD fellow

ORCID: 0000-0001-9893-8299

There is no presentation filled.

Selected publications

  1. 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. p. 33-50 (Lecture Notes in Computer Science, Vol. 12569).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

ID: 234256137