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.

    Publication: Contribution to journalA1 Refereed journal article

  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)

    Publication: Contribution to book/anthologyA3 Contribution to book/other compilations (refereed)

  3. Hierarchies in independence logic

    Galliani, P., Hannula, M. & Kontinen, J. 2013 p. 263-280 18 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)