Personal profile
Link to Utrecht University staff page
Fingerprint
Dive into the research topics where Fan Yang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Axiomatizing modal inclusion logic and its variants
Anttila, A., Häggblom, M. & Yang, F., Jul 2025, In: Archive for Mathematical Logic. 64, 5, p. 755-793 39 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Counting of Teams in First-Order Team Logics
Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., 16 Dec 2025, In: ACM Transactions on Computational Logic. 27, 1, 5.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Dick de Jongh on Intuitionistic and Provability Logics
Bezhanishvili, N. (Editor), Iemhoff, R. (Editor) & Yang, F. (Editor), 24 Jul 2024, Cham: Springer. 384 p. (Outstanding Contributions to Logic; vol. 28)Research output: Book/Report › Book editing › Academic › peer-review
-
Intermediate Logics in the Setting of Team Semantics
Bezhanishvili, N. & Yang, F., 26 Jul 2024, Dick de Jongh on Intuitionistic and Provability Logics. Springer, p. 231-271 41 p. (Outstanding Contributions to Logic; vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile -
State-Based Modal Logics for Free Choice
Aloni, M., Anttila, A. & Yang, F., Nov 2024, In: Notre Dame Journal of Formal Logic. 65, 4, p. 367-413 47 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
Activities
- 1 Invited talk
-
KNAW Colloquium on Dependence Logic
Yang, F. (Invited speaker)
3 Mar 2014 → 5 Mar 2014Activity: Talk or presentation › Invited talk › Academic