• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 111 Mathematics
  • Logic

International and National Collaboration Publications and projects within past five years.

Publications

Axiomatizing first-order consequences in inclusion logic

Yang, F., Jul 2020, In : Mathematical Logic Quarterly. 66, 2, p. 195-216

Research output: Contribution to journalArticleScientificpeer-review

Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V)

Väänänen, J. (ed.) & Yang, F. (ed.), 2020, University of Helsinki. 58 p. (Acta Generalia Instituti Mathematico-Rationarii)

Research output: Book/ReportBookScientificpeer-review

Open Access

Questions and Dependency in Intuitionistic Logic

Ciardelli, I., Iemhoff, R. & Yang, F., 2020, In : Notre Dame Journal of Formal Logic. 61, 1, p. 75-115 41 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J-P. (eds.). Vol. 138. p. 19:1-19:15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 Apr 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer-Verlag, Vol. 11541. p. 392-414 23 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Projects

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

Yang, F. & Quadrellaro, D. E.

01/01/2019 → …

Project: University of Helsinki Three-Year Research Project

Activities

  • 4 Invited talk
  • 3 Organisation and participation in conferences, workshops, courses, seminars
  • 1 Academic visit to other institution

3rd International Conference on Logic and Argumentation

Fan Yang (Scientific Committee Member)
2020 → …

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Intuitionistic logic in the team semantics setting

Fan Yang (Speaker)
27 Nov 2019

Activity: Talk or presentation typesInvited talk

13th International Tbilisi Symposium on Language, Logic and Computation

Fan Yang (Scientific Committee Member)
16 Sep 201920 Sep 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Saarland University

Fan Yang (Visiting researcher)
2 Jun 20196 Jun 2019

Activity: Visiting an external institution typesAcademic visit to other institution

26th Workshop on Logic, Language, Information and Computation

Fan Yang (Scientific Committee Member)
2 Jul 20195 Jul 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars