• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20112020

Research output per year

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

Henkilökohtainen profiili

Tieteenalat

  • 111 Matematiikka

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

Julkaisut

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

Axiomatizing first-order consequences in inclusion logic

Yang, F., 2020, (Hyväksytty/In press) julkaisussa : Mathematical Logic Quarterly.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., elokuuta 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J-P. (toim.). Vuosikerta 138. s. 19:1-19:15 15 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 138).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 huhtikuuta 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (toim.). Springer-Verlag, Vuosikerta 11541. s. 392-414 23 Sivumäärä (Lecture Notes in Computer Science).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

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

NNIL-formulas revisited: universal models and finite model property

Ilin, J., Jongh, D. D. & Yang, F., 2019, (Jätetty) julkaisussa : arXiv.org .

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Tiedosto

Projektit

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

Yang, F. & Quadrellaro, D. E.

01/01/2019 → …

Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke

Aktiviteetit

  • 4 Kutsuesitelmä
  • 3 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
  • 1 Akateeminen vierailu toiseen organisaatioon

3rd International Conference on Logic and Argumentation

Fan Yang (Tieteellisen komitean jäsen)
2020 → …

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

13th International Tbilisi Symposium on Language, Logic and Computation

Fan Yang (Tieteellisen komitean jäsen)
16 syyskuuta 201920 syyskuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

26th Workshop on Logic, Language, Information and Computation

Fan Yang (Tieteellisen komitean jäsen)
2 heinäkuuta 20195 heinäkuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Saarland University

Fan Yang (Vieraileva tutkija)
2 kesäkuuta 20196 kesäkuuta 2019

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

Logics for first-order team properties

Fan Yang (Puhuja)
9 toukokuuta 2019

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä