Gaia Belardinelli

Gaia Belardinelli

PhD fellow

There is no presentation filled.

Selected publications

  1. Published

    Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models

    Belardinelli, Gaia & Rendsvig, Rasmus Kræmmer, 2022, In: Journal of Logic and Computation. exac009.

    Research output: Contribution to journalJournal articleResearchpeer-review

  2. Published

    Epistemic Planning with Attention as a Bounded Resource

    Belardinelli, Gaia & Rendsvig, Rasmus Kræmmer, 2021, Logic, Rationality, and Interaction, 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Vol. LNCS volume 13039. p. 14-30 (Lecture Notes in Computer Science; No. 13039).

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

  3. 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 proceedingArticle in proceedingsResearchpeer-review

ID: 234256137