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

Projekt: Helsingfors Universitetets treåriga forskningsprojekt

Gå till projekt

Complete logics for elementary team properties
Kontinen, J. & Yang, F., juni 2023, I: Journal of Symbolic Logic. 88, 2, s. 579 - 619 41 s., PII S0022481222000809.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
Propositional union closed team logics
Yang, F., juni 2022, I: Annals of Pure and Applied Logic. 173, 6, 35 s., 103102.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
NNIL-formulas revisited: universal models and finite model property
Ilin, J., Jongh, D. D. & Yang, F., mars 2021, I: Journal of Logic and Computation. 31, 2, s. 573–596 24 s., exaa063.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fil

Workshop on Logics of Dependence and Independence
Yang, F. (Ordförande i organisationskommitté)
10 aug. 2020 → 12 aug. 2020
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
3rd International Conference on Logic and Argumentation
Yang, F. (Medlem av vetenskaplig kommitté)
2020 → …
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
13th International Tbilisi Symposium on Language, Logic and Computation
Yang, F. (Medlem av vetenskaplig kommitté)
16 sep. 2019 → 20 sep. 2019
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium