Pietro Galliani

Henkilö

Viimeisimmät julkaisut

  1. Transition semantics: the dynamics of dependence logic

    Galliani, P. huhtikuuta 2014 julkaisussa : Synthese. 191, 6, s. 1249-1276 28 Sivumäärä

    Tutkimustuotos: Tieteellinen - vertaisarvioituArtikkeli

  2. On dependence logic

    Galliani, P. & Väänänen, J. 2014 Johan F. A. K. van Benthem on Logical and Informational Dynamics . Baltag, A. & Smets, S. (toim.). Cham: Springer International Publishing AG, s. 101-119 19 Sivumäärä (Outstanding contributions to logic; painos 5)

    Tutkimustuotos: Tieteellinen - vertaisarvioituLuku

  3. Hierarchies in independence logic

    Galliani, P., Hannula, M. & Kontinen, J. 2013 Computer Science Logic 2013: Proceedings of the 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy. Ronchi Della Rocca, S. (toim.). s. 263-280 18 Sivumäärä (Leibniz International Proceedings in Informatics; painos 23)

    Tutkimustuotos: Tieteellinen - vertaisarvioituKonferenssiartikkeli

Näytä kaikki (3) »

ID: 26882758