Nombre de documents

14

CV de Sabine Frittella


Article dans une revue4 documents

Communication dans un congrès7 documents

  • Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, et al.. Categories: How I Learned to Stop Worrying and Love Two Sorts. Väänänen J., Hirvonen Å., de Queiroz R. Logic, Language, Information, and Computation. WoLLIC 2016, Aug 2016, Mexico, Mexico. Springer, Lecture Notes in Computer Science, 9803, 2016, <10.1007/978-3-662-52921-8_10>. <hal-01509409>
  • Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang. A Multi-type Calculus for Inquisitive Logic. Väänänen J., Hirvonen Å., de Queiroz R. Logic, Language, Information, and Computation. WoLLIC 2016, Aug 2016, Mexico, Mexico. Springer, Lecture Notes in Computer Science, 9803, Logic, Language, Information, and Computation. WoLLIC 2016. <10.1007/978-3-662-52921-8_14>. <hal-01509413>
  • Zeinab Bakhtiari, Hans Van Ditmarsch, Sabine Frittella. Algebraic Semantics of Refinement Modal Logic. Lev Beklemishev, Stéphane Demri and András Máté. Advances in Modal Logic, Aug 2016, Budapest, Hungary. College Publication, 11, Advences in Modal Logic. <http://www.aiml.net/volumes/volume11/>. <hal-01301276>
  • Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis. Probabilistic Epistemic Updates on Algebras. van der Hoek W., Holliday W., Wang W. LORI V, Oct 2015, Taipei, Taiwan. Springer, Lecture Notes in Computer Science, 9394, 2015, Logic, Rationality, and Interaction. <http://golori.org/lori2015/>. <10.1007/978-3-662-48561-3_6>. <hal-01509403>
  • Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic. Multi-type Sequent Calculi. A. Indrzejczak, J. Kaczmarek, M. Zawidski. Trends in Logic XIII, Jul 2014, Lodz, Poland. Springer, Studia Logica, 2014, Proc. Trends in Logic XIII. <hal-01509401>
  • Sabine Frittella, Luigi Santocanale. Fixed-Point Theory in the Varieties Dn. Relational and Algebraic Methods in Computer Science. RAMICS 2014, Apr 2014, Marienstatt im Westerwald, Germany. 2014, <http://mathcs.chapman.edu/ramics2014/>. <10.1007/978-3-319-06251-8_27>. <hal-01509386>
  • Sabine Frittella, Luigi Santocanale. Fixed-point theory in the varieties D_n. RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. Springer, RAMICS, vol. 8428 of Lecture Notes in Computer Science, Springer, 2014, pp. 446--462, 8428, pp.446--462, Lecture Notes in Computer Science. <http://mathcs.chapman.edu/ramics2014/>. <10.1007/978-3-319-06251-8_27>. <hal-01260836>

Pré-publication, Document de travail3 documents

  • Sabine Frittella, Giuseppe Greco, Michele Piazzai, Nachoem Wijnberg, Fan Yang. Matthew Effects via Team Semantics. 2017. <hal-01509419>
  • Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg. Probabilistic Epistemic Updates on Algebras. 2017. <hal-01509416>
  • Sam Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Tool support for reasoning in display calculi. 2016. <hal-01509342>