• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

Personal profile

Keywords

  • 111 Mathematics
  • Logic

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

Publications 2011 2019

  • 8 Article
  • 6 Conference contribution
  • 2 Chapter

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Jun 2019, (Accepted/In press) Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

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

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 Apr 2019, (Accepted/In press) Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings.

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

Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited

Yang, F., 2019, (Accepted/In press) In : Annals of Pure and Applied Logic.

Research output: Contribution to journalArticleScientificpeer-review

Open Access

Questions and Dependency in Intuitionistic Logic

Ciardelli, I., Iemhoff, R. & Yang, F., 2019, (Accepted/In press) In : Notre Dame Journal of Formal Logic.

Research output: Contribution to journalArticleScientificpeer-review

Open Access

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Yang, F., 3 Aug 2017, In : Logic journal of the IGPL. 25, 5, p. 773-805 33 p.

Research output: Contribution to journalArticleScientificpeer-review

File

Projects 2019 2019

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

Yang, F.

01/01/2019 → …

Project: University of Helsinki Three-Year Research Project

Activities 2018 2018

  • 2 Invited talk

Analyzing Arrow's Theorem Through Dependence and Independence Logic

Fan Yang (Speaker)
16 May 201819 May 2018

Activity: Talk or presentation typesInvited talk

Axiomatizing (essentially) first-order consequences in first-order logics of dependence and independence

Fan Yang (Speaker)
25 Jul 201827 Jul 2018

Activity: Talk or presentation typesInvited talk