Pietro Galliani

Person

Senaste publikationer

  1. Transition semantics: the dynamics of dependence logic

    Galliani, P. apr 2014 I : Synthese. 191, 6, s. 1249-1276 28 s.

    Forskningsoutput: Vetenskaplig - Peer reviewArtikel

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

    Forskningsoutput: Vetenskaplig - Peer reviewKapitel

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

    Forskningsoutput: Vetenskaplig - Peer reviewKonferensbidrag

Visa alla (3) »

ID: 26882758