Dr. Fan Yang's homepage

Home Page Image


Mailing Address:

PL 68 (Pietari Kalmin katu 5)

00014 University of Helsinki

Visiting Address:

Exactum, Room A414
Pietari Kalmin katu 5
Kumpla Campus, University of Helsinki

Email: fan.yang.c (at) gmail.com

Find me on Gscholar iconResearchgateGscholar icongoogle scholar and ORCIDORCID iD icon


A (non-official) website for dependence logic
Stanford Encyclopedia of Philosophy entry on "dependence logic"
Inquisitive Semantics Research Group
Helsinki Logic Group
Institute for Logic, Language and Computation

Logic seminars:
Helsinki Logic Seminar | LIRa seminar 
Research Seminar in Finite model Theory

Upcoming logic conferences:
WoLLIC 2019 (Utrecht, The Netherlands, July 2019)
TbiLLIC 2019 (Batumi, Georgia, September 2019)


I am a postdoctoral researcher at Department of Mathematics and StatisticsUniversity of Helsinki, Finland.

My research interests include: theory and applications of logics of dependence and independence, intuitionistic logic, constructive logics, etc.

   NEWS:  I have recently received a research grant from the University of Helsinki for a project on "Logical analysis of no-go theorems in social choice and quantum foundations" (click for more information on the project). There is an open PhD student position within this project, click here for the job announcement.

  Previous positions:
  • Mathematical Logic, Spring 2018, University of Helsinki (TA)
  • Argumentation and Philosophy of Science, Spring 2017, Delft University of Technology (TA)
  • Formal Methods for Strategic Decision-making, Fall 2016, Delft University of Technology (lecturer)
  • Ethics and Engineering, Spring 2016 and Fall 2016, Delft University of Technology (TA)
  • Integration Economics, Law, Philosophy and Technology, Fall 2015, Delft University of Technology (TA)
  • Logical Complexity, Fall 2014, Utrecht University (lecturer)
  • Elements of Set Theory, Spring 2014, University of Helsinki (lecturer)
  • Algebra I, Spring 2013, University of Helsinki (lecturer)
  • Topology I, Spring 2010, University of Helsinki (TA)

  • Fan Yang, Axiomatizing first-order consequences in inclusion logic, submitted, 2019, arXiv:1904.06227
  • Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer and Fan Yang, Counting of Teams in First-Order Team Logics, submitted, 2018, arXiv:1902.00246
    Journal publications
    Book chapters
  • Eric Pacuit and Fan Yang, Dependence and Independence in Social Choice: Arrow’s Theorem, in S. Abramsky, J. Kontinen, H. Vollmer and J. Väänänen, eds, Dependence Logic: Theory and Applications, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp. 235-260 (pdf)
  • Julia Ilin, Dick de Jongh and Fan Yang, NNIL Axioms Have the Finite Model Property, in Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, eds, Liber Amicorum Alberti, Tributes Volume 30, College publications, 2016, pp. 177-185 (pdf)
    Refereed conference proceedings
  Work in progress:
  • Propositional union closed team logics
  • with Julia Ilin and Dick de Jongh, NNIL formulas revisited: universal models and finite model property
  • with Eric Pacuit, Dependence and Independence in Social Choice Theory
  • On Implications in Logics of Dependence and Independence (based on Chapters 2-3 of my dissertation)