• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20112019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Keywords

  • 111 Matematiikka

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 2011 2019

  • 8 Artikkeli
  • 6 Konferenssiartikkeli
  • 2 Kirjan luku tai artikkeli

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., elokuuta 2019, Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 huhtikuuta 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Negation and partial axiomatizations of dependence and independence logic revisited

Yang, F., syyskuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 9, s. 1128-1149 22 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access

Questions and Dependency in Intuitionistic Logic

Ciardelli, I., Iemhoff, R. & Yang, F., 2019, (Hyväksytty/In press) julkaisussa : Notre Dame Journal of Formal Logic.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Yang, F., 3 elokuuta 2017, julkaisussa : Logic journal of the IGPL. 25, 5, s. 773-805 33 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Tiedosto

Projektit 2019 2019

Logical analysis of no-go theorems in social choice and quantum foundations

Yang, F.

01/01/2019 → …

Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke

Aktiviteetit 2018 2018

  • 2 Kutsuesitelmä

Analyzing Arrow's Theorem Through Dependence and Independence Logic

Fan Yang (Puhuja)
16 toukokuuta 201819 toukokuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Axiomatizing (essentially) first-order consequences in first-order logics of dependence and independence

Fan Yang (Puhuja)
25 heinäkuuta 201827 heinäkuuta 2018

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä