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

Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke

Pääsy projekteihin

Complete logics for elementary team properties
Kontinen, J. & Yang, F., kesäk. 2023, julkaisussa: Journal of Symbolic Logic. 88, 2, s. 579 - 619 41 Sivumäärä, PII S0022481222000809.
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
Propositional union closed team logics
Yang, F., kesäk. 2022, julkaisussa: Annals of Pure and Applied Logic. 173, 6, 35 Sivumäärä, 103102.
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
NNIL-formulas revisited: universal models and finite model property
Ilin, J., Jongh, D. D. & Yang, F., maalisk. 2021, julkaisussa: Journal of Logic and Computation. 31, 2, s. 573–596 24 Sivumäärä, exaa063.
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Tiedosto

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

Workshop on Logics of Dependence and Independence
Yang, F. (Järjestäjätoimikunnan puheenjohtaja)
10 elok. 2020 → 12 elok. 2020
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
3rd International Conference on Logic and Argumentation
Yang, F. (Tieteellisen komitean jäsen)
2020 → …
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
13th International Tbilisi Symposium on Language, Logic and Computation
Yang, F. (Tieteellisen komitean jäsen)
16 syysk. 2019 → 20 syysk. 2019
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen