Pietro Galliani


Latest publications

  1. Transition semantics: the dynamics of dependence logic

    Galliani, P., Apr 2014, In : Synthese. 191, 6, p. 1249-1276 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  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. (eds.). Cham: Springer International Publishing AG, p. 101-119 19 p. (Outstanding contributions to logic; vol. 5).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  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. (ed.). p. 263-280 18 p. (Leibniz International Proceedings in Informatics; vol. 23).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (3) »

ID: 26882758