Pietro Galliani

RSS feed of this list

  1. Transition semantics: the dynamics of dependence logic

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

    Research output: Scientific - peer-reviewArticle

  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: Scientific - peer-reviewChapter

  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: Scientific - peer-reviewConference contribution